[PATCH] D12761: MPI-Checker patch for Clang Static Analyzer

Devin Coughlin via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 24 18:06:02 PDT 2015

dcoughlin added inline comments.

Comment at: tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPICheckerPathSensitive.cpp:34
@@ +33,3 @@
+  if (MR->getBaseRegion()->getAs<SymbolicRegion>())
+    return;
You may be able to use `StoreManager::iterBindings()`, which iterates over symbolic bindings in the store, to handle symbolic regions. See `StackAddrEscapeChecker::checkEndFunction()` for an example.


More information about the cfe-commits mailing list