14 #ifndef CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H 15 #define CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H 36 #endif // CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H void reachable_functions(const goto_modelt &, const bool json, std::ostream &os)
void unreachable_functions(const goto_modelt &, const bool json, std::ostream &os)
void unreachable_instructions(const goto_modelt &, const bool json, std::ostream &os)
json_objectt json(const source_locationt &location)