2 Commits

Author	SHA1	Message	Date
Adam Balogh	dcde8acc32	[Analyzer] Quick Fix for exponential execution time when simpilifying complex additive expressions ... Patch https://reviews.llvm.org/rC329780 not only rearranges comparisons but also binary expressions. This latter behavior is not protected by the analyzer option. Hower, since no complexity threshold is enforced to the symbols this may result in exponential execution time if the expressions are too complex: https://bugs.llvm.org/show_bug.cgi?id=38208. For a quick fix we extended the analyzer option to also cover the additive cases. This is only a temporary fix, the final solution should be enforcing the complexity threshold to the symbols. Differential Revision: https://reviews.llvm.org/D49536 llvm-svn: 337678	2018-07-23 10:50:20 +00:00
Adam Balogh	77660ee89a	[Analyzer] Constraint Manager Negates Difference ... If range [m .. n] is stored for symbolic expression A - B, then we can deduce the range for B - A which is [-n .. -m]. This is only true for signed types, unless the range is [0 .. 0]. Differential Revision: https://reviews.llvm.org/D35110 llvm-svn: 335814	2018-06-28 07:35:23 +00:00