[clang] 0be3915 - [clang][Interp] Protect stores against dummy pointers

[Timm Bäder via cfe-commits]

Author: Timm Bäder
Date: 2024-02-02T09:18:06+01:00
New Revision: 0be39155bd22258b3e90468b6184bfd87a948bec

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

LOG: [clang][Interp] Protect stores against dummy pointers

Added: 
    

Modified: 
    clang/lib/AST/Interp/Interp.cpp
    clang/test/Sema/warn-cast-qual.c

Removed: 
    


################################################################################
diff  --git a/clang/lib/AST/Interp/Interp.cpp b/clang/lib/AST/Interp/Interp.cpp
index 4c3184aec9968..0766ad88e9224 100644
--- a/clang/lib/AST/Interp/Interp.cpp
+++ b/clang/lib/AST/Interp/Interp.cpp
@@ -399,6 +399,8 @@ bool CheckLoad(InterpState &S, CodePtr OpPC, const Pointer &Ptr) {
 bool CheckStore(InterpState &S, CodePtr OpPC, const Pointer &Ptr) {
   if (!CheckLive(S, OpPC, Ptr, AK_Assign))
     return false;
+  if (!CheckDummy(S, OpPC, Ptr))
+    return false;
   if (!CheckExtern(S, OpPC, Ptr))
     return false;
   if (!CheckRange(S, OpPC, Ptr, AK_Assign))

diff  --git a/clang/test/Sema/warn-cast-qual.c b/clang/test/Sema/warn-cast-qual.c
index ec140180ffa12..609c1b8d31fa3 100644
--- a/clang/test/Sema/warn-cast-qual.c
+++ b/clang/test/Sema/warn-cast-qual.c
@@ -1,5 +1,6 @@
 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -Wcast-qual -verify %s
-// RUN: %clang_cc1 -triple x86_64-unknown-unknown -x c++ -fsyntax-only -Wcast-qual -verify %s
+// RUN: %clang_cc1 -triple x86_64-unknown-unknown -fsyntax-only -Wcast-qual -verify %s -fexperimental-new-constant-interpreter
+// RUN: %clang_cc1 -triple x86_64-unknown-unknown -x c++ -fsyntax-only -Wcast-qual -verify %s -fexperimental-new-constant-interpreter
 
 #include <stdint.h>