commit dac9736d05f51b47633b51d599a07ff8d1d65df3
author Timm Baeder <tbaeder@redhat.com> Tue Dec 03 06:59:56 2024 +0100
committer GitHub <noreply@github.com> Tue Dec 03 06:59:56 2024 +0100
tree 7f7e7bf382567aa64026027b15756de4474576bb
parent 28e2a8912102ac442166a593f2efb15c5bd30346

[clang][bytecode][NFC] Diagnose no-constexpr memcpy/strlen versions (#118429)

clang/lib/AST/ByteCode/InterpBuiltin.cpp

diff --git a/clang/lib/AST/ByteCode/InterpBuiltin.cpp b/clang/lib/AST/ByteCode/InterpBuiltin.cpp
index d7e32c4..aab380c 100644
--- a/clang/lib/AST/ByteCode/InterpBuiltin.cpp
+++ b/clang/lib/AST/ByteCode/InterpBuiltin.cpp
@@ -222,11 +222,25 @@
   return true;
 }
 
+static void diagnoseNonConstexprBuiltin(InterpState &S, CodePtr OpPC,
+                                        unsigned ID) {
+  auto Loc = S.Current->getSource(OpPC);
+  if (S.getLangOpts().CPlusPlus11)
+    S.CCEDiag(Loc, diag::note_constexpr_invalid_function)
+        << /*isConstexpr=*/0 << /*isConstructor=*/0
+        << ("'" + S.getASTContext().BuiltinInfo.getName(ID) + "'").str();
+  else
+    S.CCEDiag(Loc, diag::note_invalid_subexpr_in_const_expr);
+}
 static bool interp__builtin_strlen(InterpState &S, CodePtr OpPC,
                                    const InterpFrame *Frame,
-                                   const CallExpr *Call) {
+                                   const Function *Func, const CallExpr *Call) {
+  unsigned ID = Func->getBuiltinID();
   const Pointer &StrPtr = getParam<Pointer>(Frame, 0);
 
+  if (ID == Builtin::BIstrlen)
+    diagnoseNonConstexprBuiltin(S, OpPC, ID);
+
   if (!CheckArray(S, OpPC, StrPtr))
     return false;
 
@@ -1781,12 +1795,16 @@
                                    const InterpFrame *Frame,
                                    const Function *Func, const CallExpr *Call) {
   assert(Call->getNumArgs() == 3);
+  unsigned ID = Func->getBuiltinID();
   Pointer DestPtr = getParam<Pointer>(Frame, 0);
   const Pointer &SrcPtr = getParam<Pointer>(Frame, 1);
   const APSInt &Size =
       peekToAPSInt(S.Stk, *S.getContext().classify(Call->getArg(2)));
   assert(!Size.isSigned() && "memcpy and friends take an unsigned size");
 
+  if (ID == Builtin::BImemcpy)
+    diagnoseNonConstexprBuiltin(S, OpPC, ID);
+
   if (DestPtr.isDummy() || SrcPtr.isDummy())
     return false;
 
@@ -1830,7 +1848,8 @@
       return false;
     break;
   case Builtin::BI__builtin_strlen:
-    if (!interp__builtin_strlen(S, OpPC, Frame, Call))
+  case Builtin::BIstrlen:
+    if (!interp__builtin_strlen(S, OpPC, Frame, F, Call))
       return false;
     break;
   case Builtin::BI__builtin_nan:
@@ -2271,6 +2290,7 @@
     break;
 
   case Builtin::BI__builtin_memcpy:
+  case Builtin::BImemcpy:
     if (!interp__builtin_memcpy(S, OpPC, Frame, F, Call))
       return false;
     break;