Commit b487a5c7fe3cccc99cd9467ae664cbdb3cbd90c9
2023-08-19T13:07:17
wip
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90
diff --git a/libc3/tag.c b/libc3/tag.c
index 418c025..a119828 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -713,21 +713,77 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
integer_clean(&tmp);
return dest;
case TAG_S8:
- return tag_init_s64(dest, (s64) a->data.u64 + (s64) b->data.s8);
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_s8(&tmp2, b->data.s8);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
case TAG_S16:
- return tag_init_s64(dest, (s64) a->data.u64 + (s64) b->data.s16);
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_s16(&tmp2, b->data.s16);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
case TAG_S32:
- return tag_init_s64(dest, (s64) a->data.u64 + (s64) b->data.s32);
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_s32(&tmp2, b->data.s32);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
case TAG_S64:
- return tag_init_s64(dest, (s64) a->data.u64 + b->data.s64);
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_s64(&tmp2, b->data.s64);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
case TAG_U8:
- return tag_init_u64(dest, a->data.u64 + (u64) b->data.u8);
+ if (a->data.u64 > U64_MAX - b->data.u8) {
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_u8(&tmp2, b->data.u8);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
+ }
+ else
+ return tag_init_u64(dest, a->data.u64 + (u64) b->data.u8);
case TAG_U16:
- return tag_init_u64(dest, a->data.u64 + (u64) b->data.u16);
+ if (a->data.u64 > U64_MAX - b->data.u16) {
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_u16(&tmp2, b->data.u16);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
+ }
+ else
+ return tag_init_u64(dest, a->data.u64 + (u64) b->data.u16);
case TAG_U32:
- return tag_init_u64(dest, a->data.u64 + (u64) b->data.u32);
+ if (a->data.u64 > U64_MAX - b->data.u32) {
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_u32(&tmp2, b->data.u32);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
+ }
+ else
+ return tag_init_u64(dest, a->data.u64 + (u64) b->data.u32);
case TAG_U64:
- return tag_init_u64(dest, a->data.u64 + b->data.u64);
+ if (a->data.u64 > U64_MAX - b->data.u64) {
+ integer_init_u64(&tmp, a->data.u64);
+ integer_init_u64(&tmp2, b->data.u64);
+ integer_add(&tmp, &b->data.integer, &tmp);
+ tag_init_integer(dest, &tmp);
+ integer_clean(&tmp);
+ return dest;
+ }
+ else
+ return tag_init_u64(dest, a->data.u64 + b->data.u64);
default:
goto ko;
}