[][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.