)]}' { "commit": "e00afc5bd6f874f0d34f6e6297eb2055570ffb95", "tree": "56a352049113a6a9b34460c1ce95bf89197173cd", "parents": [ "1c39dac6933cce1b9ea11e1f5060c272b61aee65" ], "author": { "name": "Gabor Marton", "email": "gabor.marton@ericsson.com", "time": "Thu Mar 25 15:29:41 2021 +0100" }, "committer": { "name": "Copybara-Service", "email": "copybara-worker@google.com", "time": "Thu Mar 25 13:21:24 2021 -0700" }, "message": "[Analyzer] Infer 0 value when the divisible is 0 (bug fix)\n\nCurrently, we infer 0 if the divisible of the modulo op is 0:\n int a \u003d x \u003c 0; // a can be 0\n int b \u003d a % y; // b is either 1 % sym or 0\nHowever, we don\u0027t when the op is / :\n int a \u003d x \u003c 0; // a can be 0\n int b \u003d a / y; // b is either 1 / sym or 0 / sym\n\nThis commit fixes the discrepancy.\n\nDifferential Revision: https://reviews.llvm.org/D99343\n\nGitOrigin-RevId: 015c39882ebc1771713a7523ae76903ebae83288\n", "tree_diff": [ { "type": "modify", "old_id": "facadaf1225f8ae4f6803c3aa9108a2850acc401", "old_mode": 33188, "old_path": "lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp", "new_id": "872616fedb4eb26f4b912f444cfe39eadddba79a", "new_mode": 33188, "new_path": "lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp" }, { "type": "add", "old_id": "0000000000000000000000000000000000000000", "old_mode": 0, "old_path": "/dev/null", "new_id": "3311c524f81460da67b1b478d633aff7c585b88e", "new_mode": 33188, "new_path": "test/Analysis/zero-operands.c" } ] }