[PATCH] D99343: [Analyzer] Infer 0 value when the divisible is 0 (bug fix)
Gabor Marton via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Mar 25 10:25:18 PDT 2021
martong marked an inline comment as done.
martong added a comment.
Thanks for the review!
================
Comment at: clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:655
return makeSymExprValNN(op, InputLHS, InputRHS, resultTy);
+ case BO_Div:
case BO_Rem:
----------------
vsavchenko wrote:
> I think we should either add: `// 0 / x == 0` or modify the comment for `BO_Rem`
Okay, I added the new comment.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D99343/new/
https://reviews.llvm.org/D99343
More information about the cfe-commits
mailing list