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

[Devin Coughlin via cfe-commits]

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.


http://reviews.llvm.org/D12761