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.

Greg Nisbet 7fc5cb7930 exinferbo] check end of procedure for unreachability ... Summary: Calling exit at the end of a proc does not create unreachable code, prior to this commit inferbo reports that it does. We extend collect_instrs to detect when we're at the end of a procedure in C and not report on unreachable code if we call a procedure there. Reviewed By: mbouaziz Differential Revision: D5623637 fbshipit-source-id: 0d5f326		7 years ago
..
biabduction	Added constant-folding support for shifting	7 years ago
bufferoverrun	exinferbo] check end of procedure for unreachability	7 years ago
errors	Teach the prover and the normalizer aliasing rules between pointers and integers	7 years ago
frontend	[C] Fix issue with enum initialization lists	7 years ago