Module llhd::verifier [−][src]
Expand description
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
An IR verifier.
A verification error.
A list of verification errors.