[CHERI_CSA] Enable alpha.core.PointerSub by default for CHERI

eupharina · eupharina · commit 9d64ef40355a · 2023-09-15T18:00:58.000+01:00
diff --git a/clang/lib/Driver/ToolChains/Clang.cpp b/clang/lib/Driver/ToolChains/Clang.cpp
@@ -3117,6 +3117,7 @@ static void RenderAnalyzerOptions(const ArgList &Args, ArgStringList &CmdArgs,
         (Triple.isAArch64() && tools::aarch64::isPurecap(Args, Triple))) {
       CmdArgs.push_back("-analyzer-checker=cheri");
       CmdArgs.push_back("-analyzer-checker=optin.portability.PointerAlignment");
+      CmdArgs.push_back("-analyzer-checker=alpha.core.PointerSub");
     }
 
     // Default nullability checks.

Original file line number	Diff line number	Diff line change
`@@ -3117,6 +3117,7 @@ static void RenderAnalyzerOptions(const ArgList &Args, ArgStringList &CmdArgs,`
`3117`	`3117`	`(Triple.isAArch64() && tools::aarch64::isPurecap(Args, Triple))) {`
`3118`	`3118`	`CmdArgs.push_back("-analyzer-checker=cheri");`
`3119`	`3119`	`CmdArgs.push_back("-analyzer-checker=optin.portability.PointerAlignment");`
	`3120`	`+ CmdArgs.push_back("-analyzer-checker=alpha.core.PointerSub");`
`3120`	`3121`	`}`
`3121`	`3122`
`3122`	`3123`	`// Default nullability checks.`