Rename add-pseudo-functions to annotate-debug-info

Author: thurstond

clang/include/clang/Basic/CodeGenOptions.h

@@ -399,8 +399,8 @@ class CodeGenOptions : public CodeGenOptionsBase {
   /// (0.0 [default] to skip none, 1.0 to skip all).
   SanitizerMaskCutoffs SanitizeSkipHotCutoffs;
 
-  /// Set of sanitizer checks that will be wrapped inside pseudofunctions.
-  SanitizerSet SanitizeAddPseudoFunctions;
+  /// Set of sanitizer checks that will be annotated with debug info.
+  SanitizerSet SanitizeAnnotateDebugInfo;
 
   /// List of backend command-line options for -fembed-bitcode.
   std::vector<uint8_t> CmdArgs;

clang/include/clang/Driver/Options.td

@@ -2533,30 +2533,30 @@ def fno_sanitize_merge_handlers : Flag<["-"], "fno-sanitize-merge">, Group<f_cla
                         Alias<fno_sanitize_merge_handlers_EQ>, AliasArgs<["all"]>,
                         Visibility<[ClangOption, CLOption]>,
                         HelpText<"Do not allow compiler to merge handlers for any sanitizers">;
-def fsanitize_add_pseudo_functions_EQ
-    : CommaJoined<["-"], "fsanitize-add-pseudo-functions=">,
+def fsanitize_annotate_debug_info_EQ
+    : CommaJoined<["-"], "fsanitize-annotate-debug-info=">,
       Group<f_clang_Group>,
-      HelpText<"Add pseudo-functions to checks for specified sanitizers, if "
-               "supported.">;
-def fno_sanitize_add_pseudo_functions_EQ
-    : CommaJoined<["-"], "fno-sanitize-add-pseudo-functions=">,
+      HelpText<"Annotate checks with debug info for specified sanitizers, if "
+               "supported">;
+def fno_sanitize_annotate_debug_info_EQ
+    : CommaJoined<["-"], "fno-sanitize-annotate-debug-info=">,
       Group<f_clang_Group>,
-      HelpText<"Do not allow compiler to add pseudo-functions to checks for "
+      HelpText<"Do not allow compiler to annotate checks with debug info for "
                "specified sanitizers">;
-def fsanitize_add_pseudo_functions
-    : Flag<["-"], "fsanitize-add-pseudo-functions">,
+def fsanitize_annotate_debug_info
+    : Flag<["-"], "fsanitize-annotate_debug_info">,
       Group<f_clang_Group>,
-      Alias<fsanitize_add_pseudo_functions_EQ>,
+      Alias<fsanitize_annotate_debug_info_EQ>,
       AliasArgs<["all"]>,
-      HelpText<"Allow compiler to add pseudo-functions to checks for all "
+      HelpText<"Allow compiler to annotate checks with debug info for all "
                "sanitizers, where supported">;
-def fno_sanitize_add_pseudo_functions
-    : Flag<["-"], "fno-sanitize-add-pseudo-functions">,
+def fno_sanitize_annotate_debug_info
+    : Flag<["-"], "fno-sanitize-annotate_debug_info">,
       Group<f_clang_Group>,
-      Alias<fno_sanitize_add_pseudo_functions_EQ>,
+      Alias<fno_sanitize_annotate_debug_info_EQ>,
       AliasArgs<["all"]>,
       Visibility<[ClangOption, CLOption]>,
-      HelpText<"Do not allow compiler to add pseudo-functions to checks for "
+      HelpText<"Do not allow compiler to annotate checks with debug info for "
                "any sanitizers">;
 def fsanitize_undefined_trap_on_error
     : Flag<["-"], "fsanitize-undefined-trap-on-error">, Group<f_clang_Group>,

clang/include/clang/Driver/SanitizerArgs.h

@@ -27,7 +27,7 @@ class SanitizerArgs {
   SanitizerSet TrapSanitizers;
   SanitizerSet MergeHandlers;
   SanitizerMaskCutoffs SkipHotCutoffs;
-  SanitizerSet AddPseudoFunctions;
+  SanitizerSet AnnotateDebugInfo;
 
   std::vector<std::string> UserIgnorelistFiles;
   std::vector<std::string> SystemIgnorelistFiles;

clang/lib/CodeGen/CGExpr.cpp

@@ -1228,10 +1228,10 @@ void CodeGenFunction::EmitBoundsCheckImpl(const Expr *E, llvm::Value *Bound,
   SanitizerScope SanScope(this);
 
   llvm::DILocation *CheckDI = Builder.getCurrentDebugLocation();
+  auto CurrentCheckKind = SanitizerKind::SO_ArrayBounds;
   // TODO: deprecate ClArrayBoundsPseudoFn
   if ((ClArrayBoundsPseudoFn ||
-       CGM.getCodeGenOpts().SanitizeAddPseudoFunctions.has(
-           SanitizerKind::SO_ArrayBounds)) &&
+       CGM.getCodeGenOpts().SanitizeAnnotateDebugInfo.has(CurrentCheckKind)) &&
       CheckDI) {
     CheckDI = getDebugInfo()->CreateSyntheticInlineAt(
         Builder.getCurrentDebugLocation(), "__ubsan_check_array_bounds");
@@ -1249,7 +1249,7 @@ void CodeGenFunction::EmitBoundsCheckImpl(const Expr *E, llvm::Value *Bound,
   };
   llvm::Value *Check = Accessed ? Builder.CreateICmpULT(IndexVal, BoundVal)
                                 : Builder.CreateICmpULE(IndexVal, BoundVal);
-  EmitCheck(std::make_pair(Check, SanitizerKind::SO_ArrayBounds),
+  EmitCheck(std::make_pair(Check, CurrentCheckKind),
             SanitizerHandler::OutOfBounds, StaticData, Index);
 }
 

clang/lib/Driver/SanitizerArgs.cpp

@@ -76,7 +76,7 @@ static const SanitizerMask MergeDefault =
     SanitizerKind::Undefined | SanitizerKind::Vptr;
 static const SanitizerMask TrappingDefault =
     SanitizerKind::CFI | SanitizerKind::LocalBounds;
-static const SanitizerMask AddPseudoFunctionsDefault;
+static const SanitizerMask AnnotateDebugInfoDefault;
 static const SanitizerMask CFIClasses =
     SanitizerKind::CFIVCall | SanitizerKind::CFINVCall |
     SanitizerKind::CFIMFCall | SanitizerKind::CFIDerivedCast |
@@ -739,12 +739,12 @@ SanitizerArgs::SanitizerArgs(const ToolChain &TC,
   // Parse -fno-sanitize-top-hot flags
   SkipHotCutoffs = parseSanitizeSkipHotCutoffArgs(D, Args, DiagnoseErrors);
 
-  // Parse -f(no-)?sanitize-add-pseudo-functions flags
-  SanitizerMask AddPseudoFunctionsKinds =
-      parseSanitizeArgs(D, Args, DiagnoseErrors, AddPseudoFunctionsDefault, {},
-                        {}, options::OPT_fsanitize_add_pseudo_functions_EQ,
-                        options::OPT_fno_sanitize_add_pseudo_functions_EQ);
-  AddPseudoFunctionsKinds &= Kinds;
+  // Parse -f(no-)?sanitize-annotate-debug-info flags
+  SanitizerMask AnnotateDebugInfoKinds =
+      parseSanitizeArgs(D, Args, DiagnoseErrors, AnnotateDebugInfoDefault, {},
+                        {}, options::OPT_fsanitize_annotate_debug_info_EQ,
+                        options::OPT_fno_sanitize_annotate_debug_info_EQ);
+  AnnotateDebugInfoKinds &= Kinds;
 
   // Setup ignorelist files.
   // Add default ignorelist from resource directory for activated sanitizers,
@@ -1165,7 +1165,7 @@ SanitizerArgs::SanitizerArgs(const ToolChain &TC,
 
   MergeHandlers.Mask |= MergeKinds;
 
-  AddPseudoFunctions.Mask |= AddPseudoFunctionsKinds;
+  AnnotateDebugInfo.Mask |= AnnotateDebugInfoKinds;
 
   // Zero out SkipHotCutoffs for unused sanitizers
   SkipHotCutoffs.clear(~Sanitizers.Mask);
@@ -1345,9 +1345,9 @@ void SanitizerArgs::addArgs(const ToolChain &TC, const llvm::opt::ArgList &Args,
     CmdArgs.push_back(
         Args.MakeArgString("-fsanitize-skip-hot-cutoff=" + SkipHotCutoffsStr));
 
-  if (!AddPseudoFunctions.empty())
-    CmdArgs.push_back(Args.MakeArgString("-fsanitize-add-pseudo-functions=" +
-                                         toString(AddPseudoFunctions)));
+  if (!AnnotateDebugInfo.empty())
+    CmdArgs.push_back(Args.MakeArgString("-fsanitize-annotate-debug-info=" +
+                                         toString(AnnotateDebugInfo)));
 
   addSpecialCaseListOpt(Args, CmdArgs,
                         "-fsanitize-ignorelist=", UserIgnorelistFiles);
@@ -1533,9 +1533,9 @@ SanitizerMask parseArgValues(const Driver &D, const llvm::opt::Arg *A,
        A->getOption().matches(options::OPT_fno_sanitize_trap_EQ) ||
        A->getOption().matches(options::OPT_fsanitize_merge_handlers_EQ) ||
        A->getOption().matches(options::OPT_fno_sanitize_merge_handlers_EQ) ||
-       A->getOption().matches(options::OPT_fsanitize_add_pseudo_functions_EQ) ||
+       A->getOption().matches(options::OPT_fsanitize_annotate_debug_info_EQ) ||
        A->getOption().matches(
-           options::OPT_fno_sanitize_add_pseudo_functions_EQ)) &&
+           options::OPT_fno_sanitize_annotate_debug_info_EQ)) &&
       "Invalid argument in parseArgValues!");
   SanitizerMask Kinds;
   for (int i = 0, n = A->getNumValues(); i != n; ++i) {

clang/lib/Frontend/CompilerInvocation.cpp

@@ -1839,8 +1839,8 @@ void CompilerInvocationBase::GenerateCodeGenArgs(const CodeGenOptions &Opts,
     GenerateArg(Consumer, OPT_fsanitize_skip_hot_cutoff_EQ, Sanitizer);
 
   for (StringRef Sanitizer :
-       serializeSanitizerKinds(Opts.SanitizeAddPseudoFunctions))
-    GenerateArg(Consumer, OPT_fsanitize_add_pseudo_functions_EQ, Sanitizer);
+       serializeSanitizerKinds(Opts.SanitizeAnnotateDebugInfo))
+    GenerateArg(Consumer, OPT_fsanitize_annotate_debug_info_EQ, Sanitizer);
 
   if (!Opts.EmitVersionIdentMetadata)
     GenerateArg(Consumer, OPT_Qn);
@@ -2337,9 +2337,9 @@ bool CompilerInvocation::ParseCodeGenArgs(CodeGenOptions &Opts, ArgList &Args,
       Args.getAllArgValues(OPT_fsanitize_skip_hot_cutoff_EQ), Diags);
 
   parseSanitizerKinds(
-      "-fsanitize-add-pseudo-functions=",
-      Args.getAllArgValues(OPT_fsanitize_add_pseudo_functions_EQ), Diags,
-      Opts.SanitizeAddPseudoFunctions);
+      "-fsanitize-annotate-debug-info=",
+      Args.getAllArgValues(OPT_fsanitize_annotate_debug_info_EQ), Diags,
+      Opts.SanitizeAnnotateDebugInfo);
 
   Opts.EmitVersionIdentMetadata = Args.hasFlag(OPT_Qy, OPT_Qn, true);
 

clang/test/CodeGen/bounds-checking-debuginfo.c

@@ -1,7 +1,7 @@
 // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
 
-// RUN: %clang_cc1 -emit-llvm -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -fsanitize=array-bounds -fsanitize-trap=array-bounds -fsanitize-add-pseudo-functions=array-bounds -triple x86_64 -debug-info-kind=limited %s -o - | FileCheck --check-prefix=CHECK-TRAP %s
-// RUN: %clang_cc1 -emit-llvm -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -fsanitize=array-bounds                              -fsanitize-add-pseudo-functions=array-bounds -triple x86_64 -debug-info-kind=limited %s -o - | FileCheck --check-prefix=CHECK-NOTRAP %s
+// RUN: %clang_cc1 -emit-llvm -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -fsanitize=array-bounds -fsanitize-trap=array-bounds -fsanitize-annotate-debug-info=array-bounds -triple x86_64 -debug-info-kind=limited %s -o - | FileCheck --check-prefix=CHECK-TRAP %s
+// RUN: %clang_cc1 -emit-llvm -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -fsanitize=array-bounds                              -fsanitize-annotate-debug-info=array-bounds -triple x86_64 -debug-info-kind=limited %s -o - | FileCheck --check-prefix=CHECK-NOTRAP %s
 
 int f();
 void d(double*);