lift_clinit_calls.h File Reference

#include <util/std_code.h>

Include dependency graph for lift_clinit_calls.h:

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

Go to the source code of 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.