#include <util/std_code_base.h>

Include dependency graph for lift_clinit_calls.h:

This graph shows which files directly or indirectly include this file:

Functions
codet	lift_clinit_calls (codet input)
	file Static initializer call lifting More...

Function Documentation

◆ lift_clinit_calls()

codet lift_clinit_calls ( codet input )

file Static initializer call lifting

Definition at line 21 of file lift_clinit_calls.cpp.