Flags

Enable/Disable automatic correctness tests. More...

Enumerations
enum	firm_verification_t { FIRM_VERIFICATION_OFF = 0, FIRM_VERIFICATION_ON = 1, FIRM_VERIFICATION_REPORT = 2, FIRM_VERIFICATION_ERROR_ONLY = 3 }
	Possible verification modes. More...
Functions
void	do_node_verification (firm_verification_t mode)
	Select verification of IR nodes and types.

---

Detailed Description

Enable/Disable automatic correctness tests.

---

Enumeration Type Documentation

enum firm_verification_t

Possible verification modes.

Enumerator:

FIRM_VERIFICATION_OFF	do not verify nodes at all
FIRM_VERIFICATION_ON	do node verification and assert on error in debug version
FIRM_VERIFICATION_REPORT	do node verification, but report to stderr only
FIRM_VERIFICATION_ERROR_ONLY	do node verification, but NEVER do assert nor report

Definition at line 177 of file irflag.h.

---

Function Documentation

void do_node_verification

(

firm_verification_t

mode

)

Select verification of IR nodes and types.

Per default the verification is in mode NODE_VERIFICATION_ASSERT. Turn the verification off during development to check partial implementations.