WIP

douglas-raillard-arm · Jan 8, 2024 · b91e1b4 · b91e1b4
1 parent c754893
commit b91e1b4
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tools/analysis/traceevent/src/cinterp.rs b/tools/analysis/traceevent/src/cinterp.rs
@@ -2093,6 +2093,18 @@ mod tests {
         test(b"1 ? (int *)42 : (void *)43", unsigned(42));
         test(b"1 ? (void *)42 : (int *)43", unsigned(42));
         test(b"1 ? (void *)42 : (void *)43", unsigned(42));
+        test(b"1 ? (int *)42 : (int *)0", unsigned(42));
+        test(b"1 ? (int *)42 : (void *)0", unsigned(42));
+        test(b"1 ? (void *)42 : (int *)0", unsigned(42));
+        test(b"1 ? (void *)42 : (void *)0", unsigned(42));
+        test(b"1 ? (int *)0 : (int *)0", unsigned(0));
+        test(b"1 ? (int *)0 : (void *)0", unsigned(0));
+        test(b"1 ? (void *)0 : (int *)0", unsigned(0));
+        test(b"1 ? (void *)0 : (void *)0", unsigned(0));
+        test(b"1 ? (int *)0 : (int *)42", unsigned(0));
+        test(b"1 ? (int *)0 : (void *)42", unsigned(0));
+        test(b"1 ? (void *)0 : (int *)42", unsigned(0));
+        test(b"1 ? (void *)0 : (void *)42", unsigned(0));
 
         // Casts
         test(b"(int)0", signed(0));