kc3-lang/kc3

Browse

Commit 27efb69da47bfac3f8c261f66191600cadbf47e7

Thomas de Grivel 2023-08-19T13:43:07

make tests pass 

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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

diff --git a/libc3/tag.c b/libc3/tag.c
index a119828..ab9f411 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -286,22 +286,15 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       else
         return tag_init_s16(dest, a->data.s16 + (s16) b->data.u16);
     case TAG_U32:
-      if (a->data.s16 > (s32) (S32_MAX - b->data.u32))
-        return tag_init_s64(dest, (s64) a->data.s16 + (s64) b->data.u8);
-      else
-        return tag_init_s32(dest, (s32) a->data.s16 + (s32) b->data.u32);
+        return tag_init_s64(dest, (s64) a->data.s16 + (s64) b->data.u32);
     case TAG_U64:
-      if (a->data.s16 > (s64) (S64_MAX - b->data.u64)) {
-        integer_init_s32(&tmp, (s32) a->data.s16);
-        integer_init_u64(&tmp2, b->data.u64);
-        tag_init_integer_zero(dest);
-        integer_add(&tmp, &tmp2, &dest->data.integer);
-        integer_clean(&tmp);
-        integer_clean(&tmp2);
-        return dest;
-      }
-      else
-        return tag_init_s64(dest, (s64) a->data.s16 + (s64) b->data.u64);
+      integer_init_s32(&tmp, (s32) a->data.s16);
+      integer_init_u64(&tmp2, b->data.u64);
+      tag_init_integer_zero(dest);
+      integer_add(&tmp, &tmp2, &dest->data.integer);
+      integer_clean(&tmp);
+      integer_clean(&tmp2);
+      return dest;
     default:
       goto ko;
     }
@@ -479,17 +472,13 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       else
         return tag_init_s64(dest, a->data.s64 + (s64) b->data.u32);
     case TAG_U64:
-      if (a->data.s64 > (s64) (S64_MAX - b->data.u64)) {
-        integer_init_s64(&tmp, a->data.s64);
-        integer_init_u64(&tmp2, b->data.u64);
-        tag_init_integer_zero(dest);
-        integer_add(&tmp, &tmp2, &dest->data.integer);
-        integer_clean(&tmp);
-        integer_clean(&tmp2);
-        return dest;
-      }
-      else
-        return tag_init_s64(dest, a->data.s64 + (s64) b->data.u64);
+      integer_init_s64(&tmp, a->data.s64);
+      integer_init_u64(&tmp2, b->data.u64);
+      tag_init_integer_zero(dest);
+      integer_add(&tmp, &tmp2, &dest->data.integer);
+      integer_clean(&tmp);
+      integer_clean(&tmp2);
+      return dest;
     default:
       goto ko;
   }
@@ -715,28 +704,28 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
     case TAG_S8:
       integer_init_u64(&tmp, a->data.u64);
       integer_init_s8(&tmp2, b->data.s8);
-      integer_add(&tmp, &b->data.integer, &tmp);
+      integer_add(&tmp, &tmp2, &tmp);
       tag_init_integer(dest, &tmp);
       integer_clean(&tmp);
       return dest;
     case TAG_S16:
       integer_init_u64(&tmp, a->data.u64);
       integer_init_s16(&tmp2, b->data.s16);
-      integer_add(&tmp, &b->data.integer, &tmp);
+      integer_add(&tmp, &tmp2, &tmp);
       tag_init_integer(dest, &tmp);
       integer_clean(&tmp);
       return dest;
     case TAG_S32:
       integer_init_u64(&tmp, a->data.u64);
       integer_init_s32(&tmp2, b->data.s32);
-      integer_add(&tmp, &b->data.integer, &tmp);
+      integer_add(&tmp, &tmp2, &tmp);
       tag_init_integer(dest, &tmp);
       integer_clean(&tmp);
       return dest;
     case TAG_S64:
       integer_init_u64(&tmp, a->data.u64);
       integer_init_s64(&tmp2, b->data.s64);
-      integer_add(&tmp, &b->data.integer, &tmp);
+      integer_add(&tmp, &tmp2, &tmp);
       tag_init_integer(dest, &tmp);
       integer_clean(&tmp);
       return dest;
@@ -744,7 +733,7 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       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);
+        integer_add(&tmp, &tmp2, &tmp);
         tag_init_integer(dest, &tmp);
         integer_clean(&tmp);
         return dest;
@@ -755,7 +744,7 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       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);
+        integer_add(&tmp, &tmp2, &tmp);
         tag_init_integer(dest, &tmp);
         integer_clean(&tmp);
         return dest;
@@ -766,7 +755,7 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       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);
+        integer_add(&tmp, &tmp2, &tmp);
         tag_init_integer(dest, &tmp);
         integer_clean(&tmp);
         return dest;
@@ -777,7 +766,7 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       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);
+        integer_add(&tmp, &tmp2, &tmp);
         tag_init_integer(dest, &tmp);
         integer_clean(&tmp);
         return dest;
kmx.io     mail     discord kmxgit v0.4.0