Remove calls to functions without a body. More...
#include "goto_program.h"
Include dependency graph for remove_calls_no_body.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | remove_calls_no_bodyt |
Macros | |
| #define | OPT_REMOVE_CALLS_NO_BODY "(remove-calls-no-body)" |
| #define | HELP_REMOVE_CALLS_NO_BODY " {y--remove-calls-no-body} \t remove calls to functions without a body\n" |
Detailed Description
Remove calls to functions without a body.
Definition in file remove_calls_no_body.h.
Macro Definition Documentation
◆ HELP_REMOVE_CALLS_NO_BODY
| #define HELP_REMOVE_CALLS_NO_BODY " {y--remove-calls-no-body} \t remove calls to functions without a body\n" |
Definition at line 44 of file remove_calls_no_body.h.
◆ OPT_REMOVE_CALLS_NO_BODY
| #define OPT_REMOVE_CALLS_NO_BODY "(remove-calls-no-body)" |
Definition at line 42 of file remove_calls_no_body.h.
