[PATCH] D52390: [analyzer] StackSizeChecker
Umann Kristóf via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sat Sep 22 09:15:06 PDT 2018
Szelethus added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/StackSizeChecker.cpp:104
+ ProgramStateRef State = C.getState();
+ auto StackLevels = State->get<StackSizeList>();
+ if (length(StackLevels) != countPredecessors(C))
----------------
Szelethus wrote:
> It isn't obvious to me why what "StackLevels" mean. Did you mean depth?
Ah, I I guess it's actually the height of the statement tree.
Repository:
rC Clang
https://reviews.llvm.org/D52390
More information about the cfe-commits
mailing list