Remove calls to functions without a body. More...

#include "remove_calls_no_body.h"
#include <util/invariant.h>
#include <util/message.h>
#include <util/std_code.h>
#include "goto_functions.h"

Include dependency graph for remove_calls_no_body.cpp:

Go to the source code of this file.

Detailed Description

Remove calls to functions without a body.

Definition in file remove_calls_no_body.cpp.