P4::HasExits Class Reference

Inheritance diagram for P4::HasExits:

Public Member Functions
void	postorder (const IR::ExitStatement *) override
void	postorder (const IR::ReturnStatement *) override

Public Attributes
bool	hasExits
bool	hasReturns

Detailed Description

This inspector detects whether an IR tree contains 'return' or 'exit' statements. It sets a boolean flag for each of them.