Skip to content

Commit 954dfbf

Browse files
Owenthk123
Owen
authored and
thk123
committed
Update expected warnings
The new version of Doxygen seems to have slightly different warnings
1 parent 92da8b3 commit 954dfbf

File tree

1 file changed

+53
-4
lines changed

1 file changed

+53
-4
lines changed

scripts/expected_doxygen_warnings.txt

Lines changed: 53 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
1-
/cbmc/src/solvers/miniBDD/miniBDD.cpp:402: warning: documented symbol `mini_bddt mini_bddt::operator &' was not declared or defined.
21
/cbmc/src/solvers/sat/satcheck_glucose.cpp:228: warning: no matching class member found for
32
template <>
43
satcheck_glucose_baset< Glucose::Solver >::~satcheck_glucose_baset()
@@ -15,7 +14,57 @@
1514
template <>
1615
satcheck_minisat2_baset< Minisat::SimpSolver >::~satcheck_minisat2_baset()
1716

18-
/cbmc/src/solvers/refinement/string_refinement.cpp:239: warning: Invalid list item found
19-
/cbmc/doc/architectural/howto.md:260: warning: found </div> at different nesting level (6) than expected (3)
17+
/cbmc/src/analyses/reaching_definitions.h:216: warning: end of comment block while expecting command </code>
18+
/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp:67: warning: documented empty return type of assign_parameter_names
19+
/cbmc/jbmc/src/java_bytecode/java_object_factory.cpp:1132: warning: documented empty return type of allocate_nondet_length_array
20+
/cbmc/jbmc/src/java_bytecode/java_object_factory.cpp:1637: warning: documented empty return type of gen_nondet_init
21+
/cbmc/jbmc/src/java_bytecode/java_object_factory.h:111: warning: documented empty return type of gen_nondet_init
22+
/cbmc/src/goto-programs/link_to_library.cpp:18: warning: argument 'library' of command @param is not found in the argument list of link_to_library(goto_modelt &goto_model, message_handlert &message_handler, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &) &
23+
/cbmc/src/goto-programs/link_to_library.cpp:90: warning: argument 'library' of command @param is not found in the argument list of link_to_library(symbol_tablet &symbol_table, goto_functionst &goto_functions, message_handlert &message_handler, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &) &
24+
/cbmc/src/goto-programs/link_to_library.cpp:18: warning: argument 'library' of command @param is not found in the argument list of link_to_library(goto_modelt &goto_model, message_handlert &message_handler, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &) &
25+
/cbmc/src/goto-programs/link_to_library.cpp:90: warning: argument 'library' of command @param is not found in the argument list of link_to_library(symbol_tablet &symbol_table, goto_functionst &goto_functions, message_handlert &message_handler, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &) &
26+
/cbmc/src/goto-programs/remove_unreachable.cpp:64: warning: documented empty return type of remove_unreachable
27+
/cbmc/src/goto-programs/remove_unreachable.h:19: warning: documented empty return type of remove_unreachable
28+
/cbmc/src/goto-symex/slice.cpp:217: warning: documented empty return type of collect_open_variables
29+
/cbmc/src/goto-symex/slice.cpp:229: warning: documented empty return type of slice
30+
/cbmc/src/goto-symex/slice.h:37: warning: documented empty return type of collect_open_variables
31+
/cbmc/src/goto-symex/slice.h:29: warning: documented empty return type of slice
32+
/cbmc/src/solvers/strings/string_constraint_instantiation.h:27: warning: argument 'axiom' from the argument list of instantiate has multiple @param documentation sections
33+
/cbmc/src/solvers/strings/string_constraint_instantiation.h:27: warning: argument 'str' from the argument list of instantiate has multiple @param documentation sections
34+
/cbmc/src/solvers/strings/string_constraint_instantiation.h:27: warning: argument 'val' from the argument list of instantiate has multiple @param documentation sections
35+
/cbmc/src/solvers/strings/string_refinement.cpp:300: warning: documented empty return type of add_equations_for_symbol_resolution
36+
/cbmc/src/solvers/strings/string_refinement.cpp:229: warning: Invalid list item found
37+
/cbmc/src/util/c_types_util.h:120: warning: argument 'type' from the argument list of from_c_boolean_value has multiple @param documentation sections
38+
/cbmc/src/util/graph.h:562: warning: argument 'for_each_successor' of command @param is not found in the argument list of get_reachable(Container &set, const std::function< void(const typename Container::value_type &, const std::function< void(const typename Container::value_type &)> &) &
39+
/cbmc/src/util/rename.cpp:27: warning: documented empty return type of get_new_name
40+
/cbmc/src/util/rename.cpp:19: warning: documented empty return type of get_new_name
41+
/cbmc/src/util/rename.h:26: warning: documented empty return type of get_new_name
42+
/cbmc/src/util/rename.h:23: warning: documented empty return type of get_new_name
43+
/cbmc/doc/architectural/howto.md:260: warning: found </div> at different nesting level (8) than expected (5)
2044
/cbmc/doc/architectural/howto.md:261: warning: end of comment block while expecting command </div>
21-
/cbmc/src/solvers/README.md:434: warning: Invalid list item found
45+
/cbmc/src/solvers/README.md:631: warning: Invalid list item found
46+
/cbmc/src/solvers/sat/cnf.h:46: warning: documented empty return type of cnft::gate_and
47+
/cbmc/src/goto-cc/compile.h:60: warning: documented empty return type of compilet::compilet
48+
/cbmc/src/goto-cc/compile.h:62: warning: documented empty return type of compilet::~compilet
49+
/cbmc/src/goto-cc/compile.h:86: warning: documented empty return type of compilet::cprover_macro_arities
50+
/cbmc/src/util/config.h:102: warning: documented empty return type of configt::ansi_ct::set_arch_spec_v850
51+
/cbmc/src/cpp/cpp_typecheck.h:266: warning: documented empty return type of cpp_typecheckt::check_member_initializers
52+
/cbmc/src/cpp/cpp_typecheck.h:275: warning: documented empty return type of cpp_typecheckt::full_member_initialization
53+
/cbmc/src/goto-instrument/dot.cpp:59: warning: documented empty return type of dott::find_next
54+
/cbmc/src/goto-instrument/dot.cpp:48: warning: documented empty return type of dott::write_dot_subgraph
55+
/cbmc/src/goto-instrument/dot.cpp:54: warning: documented empty return type of dott::write_edge
56+
/cbmc/src/goto-cc/goto_cc_mode.h:28: warning: documented empty return type of goto_cc_modet::usage_error
57+
/cbmc/src/goto-symex/goto_symex.h:693: warning: argument 'state' from the argument list of goto_symext::symex_cpp_new has multiple @param documentation sections
58+
/cbmc/src/goto-symex/goto_symex.h:693: warning: argument 'lhs' from the argument list of goto_symext::symex_cpp_new has multiple @param documentation sections
59+
/cbmc/src/goto-symex/goto_symex.h:693: warning: argument 'code' from the argument list of goto_symext::symex_cpp_new has multiple @param documentation sections
60+
/cbmc/jbmc/src/java_bytecode/java_bytecode_language.h:194: warning: documented empty return type of java_bytecode_languaget::methods_provided
61+
/cbmc/src/analyses/reaching_definitions.h:216: warning: end of comment block while expecting command </code>
62+
/cbmc/src/analyses/reaching_definitions.h:216: warning: end of comment block while expecting command </code>
63+
/cbmc/src/analyses/reaching_definitions.cpp:647: warning: found </c> tag without matching <c>
64+
/cbmc/src/analyses/reaching_definitions.cpp:648: warning: found </c> tag without matching <c>
65+
/cbmc/src/analyses/reaching_definitions.cpp:649: warning: found </c> tag without matching <c>
66+
/cbmc/src/analyses/reaching_definitions.cpp:651: warning: found </c> tag without matching <c>
67+
/cbmc/src/analyses/reaching_definitions.h:227: warning: The following parameters of rd_range_domaint::merge(const rd_range_domaint &other, locationt from, locationt to) are not documented:
68+
parameter 'other'
69+
/cbmc/src/solvers/smt2/smt2_conv.h:113: warning: documented empty return type of smt2_convt::convert_rounding_mode_FPA
70+
/cbmc/src/goto-symex/symex_slice_class.h:25: warning: documented empty return type of symex_slicet::collect_open_variables

0 commit comments

Comments
 (0)