|
1 | | - |
2 | | -/cbmc/src/solvers/sat/satcheck_glucose.cpp:229: warning: no matching class member found for |
3 | | - template <> |
4 | | - satcheck_glucose_baset< Glucose::Solver >::~satcheck_glucose_baset() |
5 | | - |
6 | | -/cbmc/src/solvers/sat/satcheck_glucose.cpp:234: warning: no matching class member found for |
7 | | - template <> |
8 | | - satcheck_glucose_baset< Glucose::SimpSolver >::~satcheck_glucose_baset() |
9 | | - |
10 | | -/cbmc/src/solvers/sat/satcheck_minisat2.cpp:306: warning: no matching class member found for |
11 | | - template <> |
12 | | - satcheck_minisat2_baset< Minisat::Solver >::~satcheck_minisat2_baset() |
13 | | - |
14 | | -/cbmc/src/solvers/sat/satcheck_minisat2.cpp:312: warning: no matching class member found for |
15 | | - template <> |
16 | | - satcheck_minisat2_baset< Minisat::SimpSolver >::~satcheck_minisat2_baset() |
17 | | - |
18 | | -/cbmc/src/solvers/refinement/string_refinement.cpp:239: warning: Invalid list item found |
19 | | -/cbmc/doc/architectural/howto.md:261: warning: end of comment block while expecting command </div> |
20 | | -/cbmc/src/solvers/README.md:434: warning: Invalid list item found |
21 | | -/cbmc/src/analyses/reaching_definitions.h:216: warning: end of comment block while expecting command </code> |
22 | | -/cbmc/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp:67: warning: documented empty return type of assign_parameter_names |
23 | | -/cbmc/jbmc/src/java_bytecode/java_object_factory.cpp:1132: warning: documented empty return type of allocate_nondet_length_array |
24 | | -/cbmc/jbmc/src/java_bytecode/java_object_factory.cpp:1637: warning: documented empty return type of gen_nondet_init |
25 | | -/cbmc/jbmc/src/java_bytecode/java_object_factory.h:111: warning: documented empty return type of gen_nondet_init |
26 | | -/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 &) & |
27 | | -/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 &) & |
28 | | -/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 &) & |
29 | | -/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 &) & |
30 | | -/cbmc/src/goto-programs/remove_unreachable.cpp:64: warning: documented empty return type of remove_unreachable |
31 | | -/cbmc/src/goto-programs/remove_unreachable.h:19: warning: documented empty return type of remove_unreachable |
32 | | -/cbmc/src/goto-symex/slice.cpp:217: warning: documented empty return type of collect_open_variables |
33 | | -/cbmc/src/goto-symex/slice.cpp:229: warning: documented empty return type of slice |
34 | | -/cbmc/src/goto-symex/slice.h:37: warning: documented empty return type of collect_open_variables |
35 | | -/cbmc/src/goto-symex/slice.h:29: warning: documented empty return type of slice |
36 | | -/cbmc/src/solvers/strings/string_constraint_instantiation.h:27: warning: argument 'axiom' from the argument list of instantiate has multiple @param documentation sections |
37 | | -/cbmc/src/solvers/strings/string_constraint_instantiation.h:27: warning: argument 'str' from the argument list of instantiate has multiple @param documentation sections |
38 | | -/cbmc/src/solvers/strings/string_constraint_instantiation.h:27: warning: argument 'val' from the argument list of instantiate has multiple @param documentation sections |
39 | | -/cbmc/src/solvers/strings/string_refinement.cpp:300: warning: documented empty return type of add_equations_for_symbol_resolution |
40 | | -/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 |
41 | | -/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 &)> &) & |
42 | | -/cbmc/src/util/rename.cpp:27: warning: documented empty return type of get_new_name |
43 | | -/cbmc/src/util/rename.cpp:19: warning: documented empty return type of get_new_name |
44 | | -/cbmc/src/util/rename.h:26: warning: documented empty return type of get_new_name |
45 | | -/cbmc/src/util/rename.h:23: warning: documented empty return type of get_new_name |
46 | | -/cbmc/doc/architectural/howto.md:260: warning: found </div> at different nesting level (8) than expected (5) |
47 | | -/cbmc/src/solvers/sat/cnf.h:46: warning: documented empty return type of cnft::gate_and |
48 | | -/cbmc/src/goto-cc/compile.h:60: warning: documented empty return type of compilet::compilet |
49 | | -/cbmc/src/goto-cc/compile.h:62: warning: documented empty return type of compilet::~compilet |
50 | | -/cbmc/src/goto-cc/compile.h:86: warning: documented empty return type of compilet::cprover_macro_arities |
51 | | -/cbmc/src/util/config.h:102: warning: documented empty return type of configt::ansi_ct::set_arch_spec_v850 |
52 | | -/cbmc/src/cpp/cpp_typecheck.h:266: warning: documented empty return type of cpp_typecheckt::check_member_initializers |
53 | | -/cbmc/src/cpp/cpp_typecheck.h:275: warning: documented empty return type of cpp_typecheckt::full_member_initialization |
54 | | -/cbmc/src/goto-instrument/dot.cpp:59: warning: documented empty return type of dott::find_next |
55 | | -/cbmc/src/goto-instrument/dot.cpp:48: warning: documented empty return type of dott::write_dot_subgraph |
56 | | -/cbmc/src/goto-instrument/dot.cpp:54: warning: documented empty return type of dott::write_edge |
57 | | -/cbmc/src/goto-cc/goto_cc_mode.h:28: warning: documented empty return type of goto_cc_modet::usage_error |
58 | | -/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 |
59 | | -/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 |
60 | | -/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 |
61 | | -/cbmc/jbmc/src/java_bytecode/java_bytecode_language.h:194: warning: documented empty return type of java_bytecode_languaget::methods_provided |
62 | | -/cbmc/src/analyses/reaching_definitions.h:216: warning: end of comment block while expecting command </code> |
63 | | -/cbmc/src/analyses/reaching_definitions.h:216: warning: end of comment block while expecting command </code> |
64 | | -/cbmc/src/analyses/reaching_definitions.cpp:647: warning: found </c> tag without matching <c> |
65 | | -/cbmc/src/analyses/reaching_definitions.cpp:648: warning: found </c> tag without matching <c> |
66 | | -/cbmc/src/analyses/reaching_definitions.cpp:649: warning: found </c> tag without matching <c> |
67 | | -/cbmc/src/analyses/reaching_definitions.cpp:651: warning: found </c> tag without matching <c> |
68 | | -/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: |
69 | | - parameter 'other' |
70 | | - |
71 | | -/cbmc/src/solvers/smt2/smt2_conv.h:113: warning: documented empty return type of smt2_convt::convert_rounding_mode_FPA |
72 | | -/cbmc/src/goto-symex/symex_slice_class.h:25: warning: documented empty return type of symex_slicet::collect_open_variables |
0 commit comments