SAFECode does not make debug version of C library checks complete. #11721
Description
| Bugzilla Link | 11349 |
| Resolution | FIXED |
| Resolved on | Nov 14, 2011 22:57 |
| Version | unspecified |
| OS | All |
| Reporter | LLVM Bugzilla Contributor |
Extended Description
The CompleteChecks pass is responsible for turning incomplete checks into complete checks.
It does this properly for the _debug() versions of the load/store checks and GEP checks. However, it only does it properly for standard C library checks; those that contain debug information (_debug() versions) are not processed properly.
This is due to the fact that, when originally written, the CompleteChecks pass was always executed before the DebugInstrumentation pass. This is no longer true when used with libLTO, and so the CompleteChecks pass must be updated.