P4::DoStaticAssert Class Reference

Inheritance diagram for P4::DoStaticAssert:

Public Member Functions
	DoStaticAssert (ReferenceMap *refMap, TypeMap *typeMap)
const IR::Node *	postorder (IR::MethodCallExpression *method) override
const IR::Node *	postorder (IR::MethodCallStatement *statement) override

Detailed Description

Evaluates static_assert invocations. A successful assertion is constant-folded to 'true'.