[CHERI_CSA] AllocationChecker: disable for non-purecap

Author: eupharina

clang/lib/StaticAnalyzer/Checkers/CHERI/AllocationChecker.cpp

@@ -225,6 +225,9 @@ ExplodedNode *AllocationChecker::emitAllocationPartitionWarning(
 
 void AllocationChecker::checkPostStmt(const CastExpr *CE,
                                       CheckerContext &C) const {
+  if (!isPureCapMode(C.getASTContext()))
+    return;
+
   if (CE->getCastKind() != CK_BitCast)
     return;
   SVal SrcVal = C.getSVal(CE->getSubExpr());
@@ -295,6 +298,9 @@ void AllocationChecker::checkPostStmt(const CastExpr *CE,
 
 void AllocationChecker::checkPreCall(const CallEvent &Call,
                                      CheckerContext &C) const {
+  if (!isPureCapMode(C.getASTContext()))
+    return;
+
   if (IgnoreFnSet.contains(Call) || CheriBoundsFnSet.contains(Call))
     return;
 
@@ -335,6 +341,9 @@ void AllocationChecker::checkPreCall(const CallEvent &Call,
 
 void AllocationChecker::checkPostCall(const CallEvent &Call,
                                       CheckerContext &C) const {
+  if (!isPureCapMode(C.getASTContext()))
+    return;
+
   if (!CheriBoundsFnSet.contains(Call))
     return;
   const MemRegion *MR = C.getSVal(Call.getArgExpr(0)).getAsRegion();
@@ -354,6 +363,9 @@ void AllocationChecker::checkPostCall(const CallEvent &Call,
 
 void AllocationChecker::checkBind(SVal L, SVal V, const Stmt *S,
                                   CheckerContext &C) const {
+  if (!isPureCapMode(C.getASTContext()))
+    return;
+
   const MemRegion *Dst = L.getAsRegion();
   if (!Dst || !isa<FieldRegion>(Dst))
     return;
@@ -375,6 +387,9 @@ void AllocationChecker::checkBind(SVal L, SVal V, const Stmt *S,
 
 void AllocationChecker::checkEndFunction(const ReturnStmt *RS,
                                          CheckerContext &C) const {
+  if (!isPureCapMode(C.getASTContext()))
+    return;
+
   if (!RS)
     return;
   const Expr *RV = RS->getRetValue();