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
..
assertion_example.c	[bug] notice we do not support some versions of `assert`	7 years ago
assertion_failure.c	[bug] notice we do not support some versions of `assert`	7 years ago