Go to the documentation of this file.
14 #ifndef CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
15 #define CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
57 #endif // CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
json_objectt json(const source_locationt &location)
void reachable_functions(const goto_modelt &, const bool json, std::ostream &os)
bool static_reachable_functions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)
bool static_unreachable_functions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)
void unreachable_functions(const goto_modelt &, const bool json, std::ostream &os)
void unreachable_instructions(const goto_modelt &, const bool json, std::ostream &os)
The basic interface of an abstract interpreter.
bool static_unreachable_instructions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)