Aleph::Compiler_Dataflow_Validation_Report Struct Reference

Validation report for analysis and optimization passes. More...

#include <Compiler_Dataflow.H>

Collaboration diagram for Aleph::Compiler_Dataflow_Validation_Report:

Public Attributes
bool	valid = true
	Whether the checked invariants hold.
DynArray< std::string >	errors
	Hard invariant violations.
DynArray< std::string >	warnings
	Non-fatal observations.

Detailed Description

Validation report for analysis and optimization passes.

Definition at line 207 of file Compiler_Dataflow.H.

Member Data Documentation

errors

DynArray<std::string> Aleph::Compiler_Dataflow_Validation_Report::errors

Hard invariant violations.

Definition at line 210 of file Compiler_Dataflow.H.

valid

bool Aleph::Compiler_Dataflow_Validation_Report::valid = true

Whether the checked invariants hold.

Definition at line 209 of file Compiler_Dataflow.H.

Referenced by Aleph::validate_dataflow_analysis(), and Aleph::validate_dead_code_elimination().

warnings

DynArray<std::string> Aleph::Compiler_Dataflow_Validation_Report::warnings

Non-fatal observations.

Definition at line 211 of file Compiler_Dataflow.H.

---

The documentation for this struct was generated from the following file:

• Compiler_Dataflow.H