git.iko.soy/Idris-dev
on master help sign in
Quash warning on C bitstring comparators
0417eaeBenjamin Saunders
rts/idris_bitstring.c+21−21
compare with master
unifiedsplit
@@ -57,7 +57,7 @@ VAL idris_b64(VM *vm, VAL a) {
57}
57}
58
58
59VAL idris_castB32Int(VM *vm, VAL a) {
59VAL idris_castB32Int(VM *vm, VAL a) {
60− return MKINT(a->info.bits32);
60+ return MKINT((i_int)a->info.bits32);
61}
61}
62
62
63VAL idris_b8Plus(VM *vm, VAL a, VAL b) {
63VAL idris_b8Plus(VM *vm, VAL a, VAL b) {
@@ -110,23 +110,23 @@ VAL idris_b8SRem(VM *vm, VAL a, VAL b) {
110}
110}
111
111
112VAL idris_b8Lt(VM *vm, VAL a, VAL b) {
112VAL idris_b8Lt(VM *vm, VAL a, VAL b) {
113− return MKINT(a->info.bits8 < b->info.bits8);
113+ return MKINT((i_int) (a->info.bits8 < b->info.bits8));
114}
114}
115
115
116VAL idris_b8Gt(VM *vm, VAL a, VAL b) {
116VAL idris_b8Gt(VM *vm, VAL a, VAL b) {
117− return MKINT(a->info.bits8 > b->info.bits8);
117+ return MKINT((i_int) (a->info.bits8 > b->info.bits8));
118}
118}
119
119
120VAL idris_b8Eq(VM *vm, VAL a, VAL b) {
120VAL idris_b8Eq(VM *vm, VAL a, VAL b) {
121− return MKINT(a->info.bits8 == b->info.bits8);
121+ return MKINT((i_int) (a->info.bits8 == b->info.bits8));
122}
122}
123
123
124VAL idris_b8Lte(VM *vm, VAL a, VAL b) {
124VAL idris_b8Lte(VM *vm, VAL a, VAL b) {
125− return MKINT(a->info.bits8 <= b->info.bits8);
125+ return MKINT((i_int) (a->info.bits8 <= b->info.bits8));
126}
126}
127
127
128VAL idris_b8Gte(VM *vm, VAL a, VAL b) {
128VAL idris_b8Gte(VM *vm, VAL a, VAL b) {
129− return MKINT(a->info.bits8 >= b->info.bits8);
129+ return MKINT((i_int) (a->info.bits8 >= b->info.bits8));
130}
130}
131
131
132VAL idris_b8Compl(VM *vm, VAL a) {
132VAL idris_b8Compl(VM *vm, VAL a) {
@@ -230,23 +230,23 @@ VAL idris_b16SRem(VM *vm, VAL a, VAL b) {
230}
230}
231
231
232VAL idris_b16Lt(VM *vm, VAL a, VAL b) {
232VAL idris_b16Lt(VM *vm, VAL a, VAL b) {
233− return MKINT(a->info.bits16 < b->info.bits16);
233+ return MKINT((i_int) (a->info.bits16 < b->info.bits16));
234}
234}
235
235
236VAL idris_b16Gt(VM *vm, VAL a, VAL b) {
236VAL idris_b16Gt(VM *vm, VAL a, VAL b) {
237− return MKINT(a->info.bits16 > b->info.bits16);
237+ return MKINT((i_int) (a->info.bits16 > b->info.bits16));
238}
238}
239
239
240VAL idris_b16Eq(VM *vm, VAL a, VAL b) {
240VAL idris_b16Eq(VM *vm, VAL a, VAL b) {
241− return MKINT(a->info.bits16 == b->info.bits16);
241+ return MKINT((i_int) (a->info.bits16 == b->info.bits16));
242}
242}
243
243
244VAL idris_b16Lte(VM *vm, VAL a, VAL b) {
244VAL idris_b16Lte(VM *vm, VAL a, VAL b) {
245− return MKINT(a->info.bits16 <= b->info.bits16);
245+ return MKINT((i_int) (a->info.bits16 <= b->info.bits16));
246}
246}
247
247
248VAL idris_b16Gte(VM *vm, VAL a, VAL b) {
248VAL idris_b16Gte(VM *vm, VAL a, VAL b) {
249− return MKINT(a->info.bits16 >= b->info.bits16);
249+ return MKINT((i_int) (a->info.bits16 >= b->info.bits16));
250}
250}
251
251
252VAL idris_b16Compl(VM *vm, VAL a) {
252VAL idris_b16Compl(VM *vm, VAL a) {
@@ -350,23 +350,23 @@ VAL idris_b32SRem(VM *vm, VAL a, VAL b) {
350}
350}
351
351
352VAL idris_b32Lt(VM *vm, VAL a, VAL b) {
352VAL idris_b32Lt(VM *vm, VAL a, VAL b) {
353− return MKINT(a->info.bits32 < b->info.bits32);
353+ return MKINT((i_int) (a->info.bits32 < b->info.bits32));
354}
354}
355
355
356VAL idris_b32Gt(VM *vm, VAL a, VAL b) {
356VAL idris_b32Gt(VM *vm, VAL a, VAL b) {
357− return MKINT(a->info.bits32 > b->info.bits32);
357+ return MKINT((i_int) (a->info.bits32 > b->info.bits32));
358}
358}
359
359
360VAL idris_b32Eq(VM *vm, VAL a, VAL b) {
360VAL idris_b32Eq(VM *vm, VAL a, VAL b) {
361− return MKINT(a->info.bits32 == b->info.bits32);
361+ return MKINT((i_int) (a->info.bits32 == b->info.bits32));
362}
362}
363
363
364VAL idris_b32Lte(VM *vm, VAL a, VAL b) {
364VAL idris_b32Lte(VM *vm, VAL a, VAL b) {
365− return MKINT(a->info.bits32 <= b->info.bits32);
365+ return MKINT((i_int) (a->info.bits32 <= b->info.bits32));
366}
366}
367
367
368VAL idris_b32Gte(VM *vm, VAL a, VAL b) {
368VAL idris_b32Gte(VM *vm, VAL a, VAL b) {
369− return MKINT(a->info.bits32 >= b->info.bits32);
369+ return MKINT((i_int) (a->info.bits32 >= b->info.bits32));
370}
370}
371
371
372VAL idris_b32Compl(VM *vm, VAL a) {
372VAL idris_b32Compl(VM *vm, VAL a) {
@@ -470,23 +470,23 @@ VAL idris_b64SRem(VM *vm, VAL a, VAL b) {
470}
470}
471
471
472VAL idris_b64Lt(VM *vm, VAL a, VAL b) {
472VAL idris_b64Lt(VM *vm, VAL a, VAL b) {
473− return MKINT(a->info.bits64 < b->info.bits64);
473+ return MKINT((i_int) (a->info.bits64 < b->info.bits64));
474}
474}
475
475
476VAL idris_b64Gt(VM *vm, VAL a, VAL b) {
476VAL idris_b64Gt(VM *vm, VAL a, VAL b) {
477− return MKINT(a->info.bits64 > b->info.bits64);
477+ return MKINT((i_int) (a->info.bits64 > b->info.bits64));
478}
478}
479
479
480VAL idris_b64Eq(VM *vm, VAL a, VAL b) {
480VAL idris_b64Eq(VM *vm, VAL a, VAL b) {
481− return MKINT(a->info.bits64 == b->info.bits64);
481+ return MKINT((i_int) (a->info.bits64 == b->info.bits64));
482}
482}
483
483
484VAL idris_b64Lte(VM *vm, VAL a, VAL b) {
484VAL idris_b64Lte(VM *vm, VAL a, VAL b) {
485− return MKINT(a->info.bits64 <= b->info.bits64);
485+ return MKINT((i_int) (a->info.bits64 <= b->info.bits64));
486}
486}
487
487
488VAL idris_b64Gte(VM *vm, VAL a, VAL b) {
488VAL idris_b64Gte(VM *vm, VAL a, VAL b) {
489− return MKINT(a->info.bits64 >= b->info.bits64);
489+ return MKINT((i_int) (a->info.bits64 >= b->info.bits64));
490}
490}
491
491
492VAL idris_b64Compl(VM *vm, VAL a) {
492VAL idris_b64Compl(VM *vm, VAL a) {