You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Jules Villard c2c9c94d5e [bug] notice we do not support some versions of `assert` ... Summary: Ran into this issue on Debian Testing, in which assert.h is probably different due to a more recent toolchain. Without this change I get the following CFG for `assert(e)`: ``` start |-> prune (e) -> join |-> prune (!e) -> __infer_fail("ASSERTION_FAILURE") -> exit ``` Notice that the first branch does not get to the exit, so infer must think that the assertion is *always* violated, and reports `error: ASSERTION_FAILURE`. This is broken. Reviewed By: dulmarod Differential Revision: D7067822 fbshipit-source-id: a2bf5ac		7 years ago
..
arithmetic	Fixed problem with evaluation of sizeof which would give false positive	8 years ago
assertions	[bug] notice we do not support some versions of `assert`	7 years ago
attributes	Convert c tests to the new testing format	8 years ago
custom_error	Convert c tests to the new testing format	8 years ago
dangling_deref	Convert c tests to the new testing format	8 years ago
enumeration	Convert c tests to the new testing format	8 years ago
initialization	Convert c tests to the new testing format	8 years ago
lists	Convert c tests to the new testing format	8 years ago
local_vars	Convert c tests to the new testing format	8 years ago
memory_leaks	Convert c tests to the new testing format	8 years ago
mutex	[infer] More mutex models	8 years ago
null_dereference	[biabduction][test] Repro of issue 680	8 years ago
null_test_after_deref	[infer][backend] Extend the scope of NULL_TEST_AFTER_DEREFERENCE check	7 years ago
offsetof_expr	Convert c tests to the new testing format	8 years ago
resource_leaks	Convert c tests to the new testing format	8 years ago
sizeof	[prover] do destructive normalization to prove more	7 years ago
vaarg_expr	Convert c tests to the new testing format	8 years ago
Makefile	[checkers] make all models and tests use checkers	7 years ago
generic.mk	initial synchronization	10 years ago
issues.exp	[infer][biabduction] remove the bi-abduction based check for uninitialized values	7 years ago