Skip to content

Commit 3aee359

Browse files
tautschnigtautschnig
committed
Remove unused includes
... and sort the remaining ones lexicographically.
1 parent 3c9815b commit 3aee359

File tree

94 files changed

+269
-491
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

94 files changed

+269
-491
lines changed

‎src/ansi-c/ansi_c_entry_point.cpp‎

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -8,19 +8,10 @@ Author: Daniel Kroening, kroening@kroening.com
88

99
#include "ansi_c_entry_point.h"
1010

11-
#include <cassert>
12-
#include <cstdlib>
13-
1411
#include <util/arith_tools.h>
15-
#include <util/c_types.h>
1612
#include <util/config.h>
17-
#include <util/cprover_prefix.h>
18-
#include <util/namespace.h>
19-
#include <util/prefix.h>
20-
#include <util/std_code.h>
21-
#include <util/std_expr.h>
13+
#include <util/c_types.h>
2214
#include <util/string_constant.h>
23-
#include <util/symbol.h>
2415

2516
#include <goto-programs/goto_functions.h>
2617

‎src/ansi-c/c_nondet_symbol_factory.cpp‎

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -11,22 +11,14 @@ Author: Diffblue Ltd.
1111

1212
#include "c_nondet_symbol_factory.h"
1313

14-
#include <set>
15-
#include <sstream>
16-
1714
#include <util/arith_tools.h>
1815
#include <util/c_types.h>
1916
#include <util/fresh_symbol.h>
2017
#include <util/namespace.h>
21-
#include <util/pointer_offset_size.h>
22-
#include <util/prefix.h>
23-
#include <util/std_code.h>
2418
#include <util/std_expr.h>
2519
#include <util/std_types.h>
2620
#include <util/string_constant.h>
2721

28-
#include <linking/zero_initializer.h>
29-
3022
#include <goto-programs/goto_functions.h>
3123

3224
/// Create a new temporary static symbol

‎src/ansi-c/c_typecheck_expr.cpp‎

Lines changed: 5 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -14,17 +14,14 @@ Author: Daniel Kroening, kroening@kroening.com
1414
#include <cassert>
1515

1616
#include <util/arith_tools.h>
17-
#include <util/c_types.h>
18-
#include <util/config.h>
19-
#include <util/std_types.h>
20-
#include <util/prefix.h>
21-
#include <util/cprover_prefix.h>
22-
#include <util/simplify_expr.h>
2317
#include <util/base_type.h>
24-
#include <util/std_expr.h>
25-
#include <util/string_constant.h>
18+
#include <util/cprover_prefix.h>
19+
#include <util/c_types.h>
20+
#include <util/ieee_float.h>
2621
#include <util/pointer_offset_size.h>
2722
#include <util/pointer_predicates.h>
23+
#include <util/simplify_expr.h>
24+
#include <util/string_constant.h>
2825

2926
#include "builtin_factory.h"
3027
#include "c_typecast.h"

‎src/ansi-c/c_typecheck_type.cpp‎

Lines changed: 4 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -13,19 +13,16 @@ Author: Daniel Kroening, kroening@kroening.com
1313

1414
#include <unordered_set>
1515

16-
#include <util/c_types.h>
17-
#include <util/config.h>
18-
#include <util/invariant.h>
19-
#include <util/simplify_expr.h>
2016
#include <util/arith_tools.h>
21-
#include <util/std_types.h>
17+
#include <util/config.h>
18+
#include <util/c_types.h>
2219
#include <util/pointer_offset_size.h>
20+
#include <util/simplify_expr.h>
2321

22+
#include "ansi_c_convert_type.h"
2423
#include "c_qualifiers.h"
25-
#include "ansi_c_declaration.h"
2624
#include "padding.h"
2725
#include "type2name.h"
28-
#include "ansi_c_convert_type.h"
2926

3027
void c_typecheck_baset::typecheck_type(typet &type)
3128
{

‎src/ansi-c/expr2c.cpp‎

Lines changed: 5 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -13,23 +13,18 @@ Author: Daniel Kroening, kroening@kroening.com
1313
#include <sstream>
1414

1515
#include <map>
16-
#include <set>
1716

1817
#include <util/arith_tools.h>
19-
#include <util/c_types.h>
2018
#include <util/config.h>
21-
#include <util/std_types.h>
22-
#include <util/std_code.h>
23-
#include <util/ieee_float.h>
19+
#include <util/c_types.h>
20+
#include <util/find_symbols.h>
2421
#include <util/fixedbv.h>
25-
#include <util/prefix.h>
26-
#include <util/lispirep.h>
2722
#include <util/lispexpr.h>
23+
#include <util/lispirep.h>
2824
#include <util/namespace.h>
29-
#include <util/symbol.h>
30-
#include <util/suffix.h>
31-
#include <util/find_symbols.h>
3225
#include <util/pointer_offset_size.h>
26+
#include <util/suffix.h>
27+
#include <util/symbol.h>
3328

3429
#include "c_misc.h"
3530
#include "c_qualifiers.h"

‎src/ansi-c/type2name.cpp‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,12 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
1111

1212
#include "type2name.h"
1313

14-
#include <util/std_types.h>
1514
#include <util/arith_tools.h>
15+
#include <util/invariant.h>
1616
#include <util/namespace.h>
17-
#include <util/symbol.h>
18-
#include <util/symbol_table.h>
1917
#include <util/pointer_offset_size.h>
20-
#include <util/invariant.h>
18+
#include <util/std_types.h>
19+
#include <util/symbol_table.h>
2120

2221
typedef std::unordered_map<irep_idt, std::pair<size_t, bool>> symbol_numbert;
2322

‎src/cbmc/bmc.cpp‎

Lines changed: 4 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -12,35 +12,22 @@ Author: Daniel Kroening, kroening@kroening.com
1212
#include "bmc.h"
1313

1414
#include <chrono>
15-
#include <exception>
16-
#include <fstream>
1715
#include <iostream>
18-
#include <memory>
1916

2017
#include <util/exit_codes.h>
2118
#include <util/string2int.h>
22-
#include <util/source_location.h>
2319
#include <util/string_utils.h>
24-
#include <util/memory_info.h>
25-
#include <util/message.h>
26-
#include <util/json.h>
27-
#include <util/json_stream.h>
28-
#include <util/cprover_prefix.h>
2920

30-
#include <langapi/mode.h>
3121
#include <langapi/language_util.h>
3222

33-
#include <goto-programs/goto_model.h>
34-
#include <goto-programs/xml_goto_trace.h>
35-
#include <goto-programs/json_goto_trace.h>
3623
#include <goto-programs/graphml_witness.h>
24+
#include <goto-programs/json_goto_trace.h>
25+
#include <goto-programs/xml_goto_trace.h>
3726

3827
#include <goto-symex/build_goto_trace.h>
39-
#include <goto-symex/slice.h>
40-
#include <goto-symex/slice_by_trace.h>
41-
#include <goto-symex/memory_model_sc.h>
42-
#include <goto-symex/memory_model_tso.h>
4328
#include <goto-symex/memory_model_pso.h>
29+
#include <goto-symex/slice_by_trace.h>
30+
#include <goto-symex/slice.h>
4431

4532
#include <linking/static_lifetime_init.h>
4633

‎src/cbmc/symex_coverage.cpp‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,16 +13,12 @@ Date: March 2016
1313

1414
#include "symex_coverage.h"
1515

16-
#include <ctime>
1716
#include <chrono>
1817
#include <iostream>
1918
#include <fstream>
20-
#include <sstream>
2119

22-
#include <util/xml.h>
2320
#include <util/string2int.h>
24-
#include <util/cprover_prefix.h>
25-
#include <util/prefix.h>
21+
#include <util/xml.h>
2622

2723
#include <langapi/language_util.h>
2824

‎src/cpp/cpp_template_type.h‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
1212

1313
#include <util/invariant.h>
1414
#include <util/type.h>
15-
#include <util/expr.h>
1615

1716
#include "cpp_template_parameter.h"
1817

‎src/cpp/cpp_typecheck_expr.cpp‎

Lines changed: 4 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -15,23 +15,18 @@ Author: Daniel Kroening, kroening@cs.cmu.edu
1515
#include <iostream>
1616
#endif
1717

18-
#include <util/pointer_offset_size.h>
19-
#include <util/std_types.h>
2018
#include <util/arith_tools.h>
21-
#include <util/std_expr.h>
22-
#include <util/config.h>
23-
#include <util/simplify_expr.h>
2419
#include <util/base_type.h>
25-
#include <util/invariant.h>
26-
20+
#include <util/config.h>
2721
#include <util/c_types.h>
22+
#include <util/pointer_offset_size.h>
23+
2824
#include <ansi-c/c_qualifiers.h>
2925

3026
#include <linking/zero_initializer.h>
3127

32-
#include "cpp_type2name.h"
33-
#include "cpp_convert_type.h"
3428
#include "cpp_exception_id.h"
29+
#include "cpp_type2name.h"
3530
#include "expr2cpp.h"
3631

3732
bool cpp_typecheckt::find_parent(

0 commit comments

Comments
 (0)