[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