ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
preprocessor.rejection Namespace Reference

Functions

None attach_location (BaseException exc, ast.AST node, str module_name)

Detailed Description

Position a preprocessor rejection in the user's program (#7547).

Function Documentation

◆ attach_location()

None preprocessor.rejection.attach_location ( BaseException exc,
ast.AST node,
str module_name )
Record ``node``'s position on ``exc``, unless it already carries one.

The innermost visit frame wins: it attaches first as the exception
unwinds, so the position is the narrowest node that could not be handled.