[CHERI_CSA] AllocationChecker: disable for non-purecap

Author: eupharina

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

@@ -248,6 +248,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());
@@ -318,6 +321,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;
 
@@ -360,6 +366,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();
@@ -379,6 +388,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;
@@ -400,6 +412,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();