4 Commits

Author	SHA1	Message	Date
Dominic Chen	c0402c6916	Revert "[analyzer] Support generating and reasoning over more symbolic constraint types" ... Assertion `Loc::isLocType(SSE->getLHS()->getType())' failed in Analysis/PR3991.m This reverts commit e469ff2759275e67f9072b3d67fac90f647c0fe6. llvm-svn: 307853	2017-07-12 21:43:42 +00:00
Dominic Chen	35610d21b2	[analyzer] Support generating and reasoning over more symbolic constraint types ... Summary: Generate more IntSymExpr constraints, perform SVal simplification for IntSymExpr and SymbolCast constraints, and create fully symbolic SymExprs Reviewers: zaks.anna, dcoughlin, NoQ, xazax.hun Subscribers: mgorny, cfe-commits Differential Revision: https://reviews.llvm.org/D28953 llvm-svn: 307833	2017-07-12 19:37:57 +00:00
Dominic Chen	f94c108395	[analyzer]: Improve test handling with multiple constraint managers ... Summary: Modify the test infrastructure to properly handle tests that require z3, and merge together the output of all tests on success. This is required for D28954. Reviewers: dcoughlin, zaks.anna, NoQ, xazax.hun Subscribers: cfe-commits Differential Revision: https://reviews.llvm.org/D33308 llvm-svn: 305480	2017-06-15 17:05:07 +00:00
Reid Kleckner	2ae37c15c3	[lit] Fix Analysis test format pickling error ... Move the test format into a standalone .py file and add it to the site module search path. This allows us to run the test on Windows, and it makes it compatible with the multiprocessing.Pool lit test execution strategy. I think this test was only passing everywhere else because multiprocessing uses 'fork' to spawn workers, so the test format never needs to be pickled. llvm-svn: 299577	2017-04-05 18:56:48 +00:00