[−][src]Module llhd::verifier
Verification of IR integrity.
This module implements verification of the intermediate representation. It checks that functions, processes, and entities are well-formed, basic blocks have terminators, and types line up.
Structs
Verifier | An IR verifier. |
VerifierError | A verification error. |
VerifierErrors | A list of verification errors. |