P4C
The P4 Compiler
 
Loading...
Searching...
No Matches
Public Member Functions | List of all members
P4::DoEliminateInvalidHeaders Class Referencefinal
Inheritance diagram for P4::DoEliminateInvalidHeaders:
Inheritance graph
[legend]

Public Member Functions

 DoEliminateInvalidHeaders (ReferenceMap *refMap)
 
const IR::Node * postorder (IR::InvalidHeader *expression) override
 
const IR::Node * postorder (IR::InvalidHeaderUnion *expression) override
 
const IR::Node * postorder (IR::P4Action *action) override
 
const IR::Node * postorder (IR::P4Control *control) override
 
const IR::Node * postorder (IR::ParserState *parser) override
 

Detailed Description

Replaces invalid header expressions by variables which are explicitly initialized to be invalid. A similar operation is performed for invalid header unions. This cannot be done for constant declarations, though.