{"push_id":1677389730,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ce3969a0d17b1f5453f4a16da9f8ba3791f35536","before":"e65ba1f3740b2c95223526d7927bb6cc12a898db","commits":[{"sha":"ce3969a0d17b1f5453f4a16da9f8ba3791f35536","author":{"name":"Artem Dergachev","email":"9c257a9f5889b207f966593fb6de1d6fc101973e@gmail.com"},"message":"[analyzer] Simplify values in binary operations a bit more aggressively.\n\nSValBuilder tries to constant-fold symbols in the left-hand side of the symbolic\nexpression whenever it fails to evaluate the expression directly. However, it\nonly constant-folds them when they are atomic expressions, not when they are\ncomplicated expressions themselves. This patch adds recursive constant-folding\nto the left-hand side subexpression (there's a lack of symmetry because we're\ntrying to have symbols on the left and constants on the right). As an example,\nwe'd now be able to handle operations similar to \"$x + 1 < $y\", when $x is\nconstrained to a constant.\n\nrdar://problem/31354676\n\nDifferential Revision: https://reviews.llvm.org/D31886\n\n\ngit-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@300178 91177308-0d34-0410-b5e6-96231b3b80d8","distinct":true,"url":"https://api.github.com/repos/llvm-mirror/clang/commits/ce3969a0d17b1f5453f4a16da9f8ba3791f35536"}]}
{"actor":{"display_login":"dtzWill"}}