[clang] a8b5994 - [clang][Interp][NFC] Add a broken test case

[Timm Bäder via cfe-commits]

Author: Timm Bäder
Date: 2024-02-02T09:10:03+01:00
New Revision: a8b5994b337cf1d461202a65204a4ee6c5eae341

URL: https://github.com/llvm/llvm-project/commit/a8b5994b337cf1d461202a65204a4ee6c5eae341
DIFF: https://github.com/llvm/llvm-project/commit/a8b5994b337cf1d461202a65204a4ee6c5eae341.diff

LOG: [clang][Interp][NFC] Add a broken test case

The LHS of the subtraction returns 16 right now, but should
return 0.

Added: 
    

Modified: 
    clang/test/AST/Interp/c.c

Removed: 
    


################################################################################
diff  --git a/clang/test/AST/Interp/c.c b/clang/test/AST/Interp/c.c
index bf5394b701587..0b673253c6c70 100644
--- a/clang/test/AST/Interp/c.c
+++ b/clang/test/AST/Interp/c.c
@@ -110,3 +110,23 @@ int somefunc(int i) {
                              // pedantic-ref-warning {{overflow in expression; result is 131073}}
 
 }
+
+/// FIXME: The following test is incorrect in the new interpreter.
+/// The null pointer returns 16 from its getIntegerRepresentation().
+struct ArrayStruct {
+  char n[1];
+};
+struct AA {
+  char name2[(int)&((struct ArrayStruct*)0)->n - 1]; // expected-warning {{cast to smaller integer type}} \
+                                                     // expected-warning {{folded to constant array}} \
+                                                     // pedantic-expected-warning {{cast to smaller integer type}} \
+                                                     // pedantic-expected-warning {{folded to constant array}} \
+                                                     // ref-error {{array size is negative}} \
+                                                     // ref-warning {{cast to smaller integer type}} \
+                                                     // pedantic-ref-error {{array size is negative}} \
+                                                     // pedantic-ref-warning {{cast to smaller integer type}}
+};
+_Static_assert(sizeof(struct AA) == 15, ""); // ref-error {{failed}} \
+                                             // ref-note {{1 == 15}} \
+                                             // pedantic-ref-error {{failed}} \
+                                             // pedantic-ref-note {{1 == 15}}