|
Aleph-w 3.0
A C++ Library for Data Structures and Algorithms
|
Structural validation report for one IR module or function. More...
#include <Compiler_IR_Model.H>
Public Attributes | |
| bool | valid = true |
| Whether all hard validation checks passed. | |
| DynArray< std::string > | errors |
| Hard validation failures. | |
| DynArray< std::string > | warnings |
| Non-fatal findings such as unreachable blocks. | |
Structural validation report for one IR module or function.
Definition at line 311 of file Compiler_IR_Model.H.
| DynArray<std::string> Aleph::Compiler_IR_Validation_Report::errors |
Hard validation failures.
Definition at line 314 of file Compiler_IR_Model.H.
Whether all hard validation checks passed.
Definition at line 313 of file Compiler_IR_Model.H.
Referenced by Aleph::validate_ir_function(), and Aleph::validate_ir_module().
| DynArray<std::string> Aleph::Compiler_IR_Validation_Report::warnings |
Non-fatal findings such as unreachable blocks.
Definition at line 315 of file Compiler_IR_Model.H.