[PATCH] D99343: [Analyzer] Infer 0 value when the divisible is 0 (bug fix)

[Gabor Marton via Phabricator via cfe-commits]

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