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

Alexander Droste via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 14 04:58:03 PDT 2015


Alexander_Droste added inline comments.

================
Comment at: tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/Utility.cpp:71
@@ +70,3 @@
+  if (FR) {
+    VariableName = VR->getDecl()->getNameAsString() + "." +
+                   FR->getDecl()->getNameAsString();
----------------
This is incorrect if the struct/class is nested in another struct/class.
VR points to the base region of the field region.
How can this be improved so that the name of the next enclosing 
struct/class instance is obtained, instead of the outermost?


http://reviews.llvm.org/D12761





More information about the cfe-commits mailing list