lift_call_expressions.h

Go to the documentation of this file.

#pragma once
 
#include <goto-programs/goto_functions.h>
#include <util/symtab/context.h>

void lift_call_expressions(contextt &context, goto_functionst &goto_functions);