Type: handle typeof and attributed types in integerRank

Vexu · Mar 7, 2024 · dbcd2c9 · dbcd2c9
1 parent 02353ad
commit dbcd2c9
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/src/aro/Type.zig b/src/aro/Type.zig
@@ -1313,6 +1313,10 @@ pub fn integerRank(ty: Type, comp: *const Compilation) usize {
         .long_long, .ulong_long => 6 + (ty.bitSizeof(comp).? << 3),
         .int128, .uint128 => 7 + (ty.bitSizeof(comp).? << 3),
 
+        .typeof_type => ty.data.sub_type.integerRank(comp),
+        .typeof_expr => ty.data.expr.ty.integerRank(comp),
+        .attributed => ty.data.attributed.base.integerRank(comp),
+
         else => unreachable,
     });
 }

diff --git a/test/cases/typeof pointer wrong size.c b/test/cases/typeof pointer wrong size.c
@@ -0,0 +1,6 @@
+#define NO_ERROR_VALIDATION
+
+void foo(void) {
+    char arr[10];
+    typeof(const int) *p = arr;
+}