[clang] Add support for builtin_verbose_trap (PR #79230)

Felipe de Azevedo Piovezan via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 24 09:43:29 PST 2024


================
@@ -3416,6 +3437,27 @@ llvm::DIMacroFile *CGDebugInfo::CreateTempMacroFile(llvm::DIMacroFile *Parent,
   return DBuilder.createTempMacroFile(Parent, Line, FName);
 }
 
+llvm::DILocation *CGDebugInfo::CreateTrapFailureMessageFor(
+    llvm::DebugLoc TrapLocation, StringRef Prefix, StringRef FailureMsg) {
+  // Create debug info that describes a fake function whose name is the failure
+  // message.
+  std::string FuncName(Prefix);
+  if (!FailureMsg.empty()) {
+    // A space in the function name identifies this as not being a real function
+    // because it's not a valid symbol name.
+    FuncName += ": ";
+    FuncName += FailureMsg;
+  }
+
+  assert(FuncName.size() > 0);
+  assert(FuncName.find(' ') != std::string::npos &&
----------------
felipepiovezan wrote:

the pre condition (as stated in the function documentation) is that `Prefix` should have a space.
But we add a space whenever `FailureMsg` is not empty, so this assert is not catching a pre condition violation in all cases

https://github.com/llvm/llvm-project/pull/79230


More information about the cfe-commits mailing list