2 Commits

Author	SHA1	Message	Date
Aaron Ballman	1ea584377e	A significant number of our tests in C accidentally use functions ... without prototypes. This patch converts the function signatures to have a prototype for the situations where the test is not specific to K&R C declarations. e.g., void func(); becomes void func(void); This is the ninth batch of tests being updated (there are a significant number of other tests left to be updated).	2022-02-13 08:03:40 -05:00
Gabor Marton	888af47095	[Analyzer][solver] Simplification: reorganize equalities with adjustment ... Initiate the reorganization of the equality information during symbol simplification. E.g., if we bump into `c + 1 == 0` during simplification then we'd like to express that `c == -1`. It makes sense to do this only with `SymIntExpr`s. Reviewed By: steakhal Differential Revision: https://reviews.llvm.org/D111642	2021-10-27 16:48:55 +02:00