infer_clone

Commit Graph

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	7 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

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

Mehdi Bouaziz

aad66bc6f6

[inferbo] More tests

Reviewed By: skcho

Differential Revision: D5265505

fbshipit-source-id: 5fc05f9

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

3 Commits (ab57fd2ff05fd2fbdfc763891902550633369d3d)