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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to