commit | 235bb9df77ecae156a0574626f85163d326b0f7e | [log] [tgz] |
---|---|---|
author | Gabor Marton <gabor.marton@ericsson.com> | Thu Nov 11 14:55:24 2021 +0100 |
committer | Copybara-Service <copybara-worker@google.com> | Tue Nov 23 07:52:05 2021 -0800 |
tree | 1f2e6574893afe7dbe37262e4e71d9eb5ede42ac | |
parent | 50416551f49afbf3a265ee7d5014b02f12df53b2 [diff] |
[Analyzer][Core] Better simplification in SimpleSValBuilder::evalBinOpNN Make the SValBuilder capable to simplify existing SVals based on a newly added constraints when evaluating a BinOp. Before this patch, we called `simplify` only in some edge cases. However, we can and should investigate the constraints in all cases. Differential Revision: https://reviews.llvm.org/D113753 GitOrigin-RevId: 12887a202404471ddf77f9fae658700573cbebe8