Skip to content

Commit b1e14eb

Browse files
tautschnigtautschnig
committed
Remove unused includes
... and sort the remaining ones lexicographically.
1 parent c5ea3d8 commit b1e14eb

File tree

116 files changed

+310
-538
lines changed

Some content is hidden

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

116 files changed

+310
-538
lines changed

‎src/analyses/goto_rw.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ Date: April 2010
1212
#ifndef CPROVER_ANALYSES_GOTO_RW_H
1313
#define CPROVER_ANALYSES_GOTO_RW_H
1414

15-
#include <map>
1615
#include <iosfwd>
1716
#include <limits>
17+
#include <map>
1818
#include <memory> // unique_ptr
1919

2020
#include <util/guard.h>

‎src/ansi-c/ansi_c_entry_point.cpp

Lines changed: 0 additions & 9 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>
1512
#include <util/c_types.h>
1613
#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>
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: 4 additions & 7 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/base_type.h>
1718
#include <util/c_types.h>
18-
#include <util/config.h>
19-
#include <util/std_types.h>
20-
#include <util/prefix.h>
2119
#include <util/cprover_prefix.h>
22-
#include <util/simplify_expr.h>
23-
#include <util/base_type.h>
24-
#include <util/std_expr.h>
25-
#include <util/string_constant.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: 3 additions & 6 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/arith_tools.h>
1617
#include <util/c_types.h>
1718
#include <util/config.h>
18-
#include <util/invariant.h>
19-
#include <util/simplify_expr.h>
20-
#include <util/arith_tools.h>
21-
#include <util/std_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: 4 additions & 9 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>
1918
#include <util/c_types.h>
2019
#include <util/config.h>
21-
#include <util/std_types.h>
22-
#include <util/std_code.h>
23-
#include <util/ieee_float.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: 3 additions & 16 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>
28+
#include <goto-symex/memory_model_pso.h>
3929
#include <goto-symex/slice.h>
4030
#include <goto-symex/slice_by_trace.h>
41-
#include <goto-symex/memory_model_sc.h>
42-
#include <goto-symex/memory_model_tso.h>
43-
#include <goto-symex/memory_model_pso.h>
4431

4532
#include <linking/static_lifetime_init.h>
4633

‎src/cbmc/symex_coverage.cpp

Lines changed: 3 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -13,16 +13,13 @@ Date: March 2016
1313

1414
#include "symex_coverage.h"
1515

16-
#include <ctime>
1716
#include <chrono>
18-
#include <iostream>
17+
#include <ctime>
1918
#include <fstream>
20-
#include <sstream>
19+
#include <iostream>
2120

22-
#include <util/xml.h>
2321
#include <util/string2int.h>
24-
#include <util/cprover_prefix.h>
25-
#include <util/prefix.h>
22+
#include <util/xml.h>
2623

2724
#include <langapi/language_util.h>
2825

‎src/cbmc/symex_coverage.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,9 @@ Date: March 2016
1414
#ifndef CPROVER_CBMC_SYMEX_COVERAGE_H
1515
#define CPROVER_CBMC_SYMEX_COVERAGE_H
1616

17-
#include <string>
1817
#include <iosfwd>
1918
#include <map>
19+
#include <string>
2020

2121
#include <goto-programs/goto_program.h>
2222

0 commit comments

Comments
 (0)