[clang][bytecode] Check builtin carryops for non-block out pointers (#165512)

tbaederr · web-flow · commit a21521a4efac · 2025-10-29T07:30:11.000+01:00
Fixes #165372
diff --git a/clang/lib/AST/ByteCode/InterpBuiltin.cpp b/clang/lib/AST/ByteCode/InterpBuiltin.cpp
@@ -859,7 +859,7 @@ static bool interp__builtin_carryop(InterpState &S, CodePtr OpPC,
   APSInt RHS = popToAPSInt(S.Stk, RHST);
   APSInt LHS = popToAPSInt(S.Stk, LHST);
 
-  if (CarryOutPtr.isDummy())
+  if (CarryOutPtr.isDummy() || !CarryOutPtr.isBlockPointer())
     return false;
 
   APSInt CarryOut;
diff --git a/clang/test/AST/ByteCode/builtin-functions.cpp b/clang/test/AST/ByteCode/builtin-functions.cpp
@@ -1856,7 +1856,8 @@ namespace InitParam {
 
 #endif
 
-namespace SAddOverflowInt {
+namespace NonBlockPointerStore {
   int a;
   void foo(void) { a *= __builtin_sadd_overflow(1, 2, 0); }
+  void foo2(void) { a *= __builtin_addc(1, 2, 0, 0); }
 }

Original file line number	Diff line number	Diff line change
`@@ -1856,7 +1856,8 @@ namespace InitParam {`
`1856`	`1856`
`1857`	`1857`	`#endif`
`1858`	`1858`
`1859`		`-namespace SAddOverflowInt {`
	`1859`	`+namespace NonBlockPointerStore {`
`1860`	`1860`	`int a;`
`1861`	`1861`	`void foo(void) { a *= __builtin_sadd_overflow(1, 2, 0); }`
	`1862`	`+ void foo2(void) { a *= __builtin_addc(1, 2, 0, 0); }`
`1862`	`1863`	`}`