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