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

Alexander Droste via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 25 11:34:03 PDT 2015

Alexander_Droste added inline comments.

Comment at: tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPICheckerPathSensitive.cpp:35
@@ +34,3 @@
+  if (!isa<TypedRegion>(MR) ||
+      (ER && !isa<TypedRegion>(ER->getSuperRegion())))
+    return;
Thanks for the hint! I tried `iterBindings`  but can't get it to add more functionality.   
It seems to me that only `TypedRegion`s are iterable.


More information about the cfe-commits mailing list