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

[Alexander Droste via cfe-commits]

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.


http://reviews.llvm.org/D12761