balazske marked 2 inline comments as done. balazske added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp:130-131 + // At least check for zero again. + // Assume that this is a more exact fact than the previous assumptions + // (in checkVLAIndexSize), so report error too. + reportBug(VLA_Zero, SizeE, State, C); ---------------- NoQ wrote: > Why not do the same in `checkVLAIndexSize` then? The only reason for this is was that at this place the known index value is already computed but not in `checkVLAIndexSize`. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D81061/new/ https://reviews.llvm.org/D81061 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
