[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