3 Commits (b63f5d7c00d6a39dcf0459f9704d6c4d784f5e20)

Author	SHA1	Message	Date
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	8 years ago
Mehdi Bouaziz	aad66bc6f6	[inferbo] More tests ... Reviewed By: skcho Differential Revision: D5265505 fbshipit-source-id: 5fc05f9	8 years ago
Mehdi Bouaziz	ec7b096ff6	[inferbo] Add warnings and errors for unreachable code ... Summary: Warnings for conditions always true/false Errors for other unreachable statements (should help debugging inferbo) Reviewed By: sblackshear Differential Revision: D5047883 fbshipit-source-id: 65a78ca	8 years ago