Detection for Uninitialized Local Variables. More...
#include <iosfwd>
Include dependency graph for uninitialized.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Macros | |
| #define | OPT_UNINITIALIZED_CHECK "(uninitialized-check)" |
| #define | HELP_UNINITIALIZED_CHECK |
Functions | |
| void | add_uninitialized_locals_assertions (goto_modelt &) |
| void | show_uninitialized (const goto_modelt &, std::ostream &out) |
Detailed Description
Detection for Uninitialized Local Variables.
Definition in file uninitialized.h.
Macro Definition Documentation
◆ HELP_UNINITIALIZED_CHECK
| #define HELP_UNINITIALIZED_CHECK |
Value:
" {y--uninitialized-check} \t " \
"add checks for uninitialized locals (experimental)\n"
Definition at line 29 of file uninitialized.h.
◆ OPT_UNINITIALIZED_CHECK
| #define OPT_UNINITIALIZED_CHECK "(uninitialized-check)" |
Definition at line 27 of file uninitialized.h.
Function Documentation
◆ add_uninitialized_locals_assertions()
| void add_uninitialized_locals_assertions | ( | goto_modelt & | goto_model | ) |
Definition at line 190 of file uninitialized.cpp.
◆ show_uninitialized()
| void show_uninitialized | ( | const goto_modelt & | goto_model, |
| std::ostream & | out | ||
| ) |
Definition at line 200 of file uninitialized.cpp.
