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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
