14 #ifndef CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H 15 #define CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H 57 #endif // CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H bool static_reachable_functions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)
void reachable_functions(const goto_modelt &, const bool json, std::ostream &os)
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 &)
json_objectt json(const source_locationt &location)