Skip to content

Commit 40dc024

Browse files
peterschrammelpeterschrammel
committed
Make header guards uniform
1 parent 251a1c1 commit 40dc024

File tree

756 files changed

+2169
-2011
lines changed

Some content is hidden

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

756 files changed

+2169
-2011
lines changed

‎src/aa-path-symex/build_goto_trace.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_BUILD_GOTO_TRACE_H
10-
#define CPROVER_PATH_SYMEX_BUILD_GOTO_TRACE_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_BUILD_GOTO_TRACE_H
10+
#define CPROVER_AA_PATH_SYMEX_BUILD_GOTO_TRACE_H
1111

1212
#include <util/decision_procedure.h>
1313
#include <goto-programs/goto_trace.h>
@@ -19,4 +19,4 @@ void build_goto_trace(
1919
const decision_proceduret &decision_procedure,
2020
goto_tracet &goto_trace);
2121

22-
#endif
22+
#endif // CPROVER_AA_PATH_SYMEX_BUILD_GOTO_TRACE_H

‎src/aa-path-symex/loc_ref.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_LOC_REF_H
10-
#define CPROVER_LOC_REF_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_LOC_REF_H
10+
#define CPROVER_AA_PATH_SYMEX_LOC_REF_H
1111

1212
#include <ostream>
1313

@@ -83,4 +83,4 @@ static inline std::ostream &operator << (std::ostream &out, loc_reft l)
8383
return out << l.loc_number;
8484
}
8585

86-
#endif
86+
#endif // CPROVER_AA_PATH_SYMEX_LOC_REF_H

‎src/aa-path-symex/locs.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_LOCS_H
10-
#define CPROVER_PATH_SYMEX_LOCS_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_LOCS_H
10+
#define CPROVER_AA_PATH_SYMEX_LOCS_H
1111

1212
#include <util/std_expr.h>
1313

@@ -112,4 +112,4 @@ class target_to_loc_mapt
112112
for(exprt::operandst::iterator it=(expr).loc_vector.begin(); \
113113
it!=(locs).loc_vector.end(); it++)
114114

115-
#endif
115+
#endif // CPROVER_AA_PATH_SYMEX_LOCS_H

‎src/aa-path-symex/path_symex.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, [email protected]
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_PATH_SYMEX_H
11-
#define CPROVER_PATH_SYMEX_H
10+
#ifndef CPROVER_AA_PATH_SYMEX_PATH_SYMEX_H
11+
#define CPROVER_AA_PATH_SYMEX_PATH_SYMEX_H
1212

1313
#include "locs.h"
1414
#include "path_symex_state.h"
@@ -39,4 +39,4 @@ void path_symex_goto(
3939
void path_symex_assert_fail(
4040
path_symex_statet &state);
4141

42-
#endif
42+
#endif // CPROVER_AA_PATH_SYMEX_PATH_SYMEX_H

‎src/aa-path-symex/path_symex_history.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_HISTORY_H
10-
#define CPROVER_PATH_SYMEX_HISTORY_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_PATH_SYMEX_HISTORY_H
10+
#define CPROVER_AA_PATH_SYMEX_PATH_SYMEX_HISTORY_H
1111

1212
#include <cassert>
1313
#include <limits>
@@ -161,4 +161,4 @@ inline void path_symex_step_reft::build_history(
161161
}
162162
}
163163

164-
#endif
164+
#endif // CPROVER_AA_PATH_SYMEX_PATH_SYMEX_HISTORY_H

‎src/aa-path-symex/path_symex_state.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, [email protected]
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_PATH_SYMEX_STATE_H
11-
#define CPROVER_PATH_SYMEX_STATE_H
10+
#ifndef CPROVER_AA_PATH_SYMEX_PATH_SYMEX_STATE_H
11+
#define CPROVER_AA_PATH_SYMEX_PATH_SYMEX_STATE_H
1212

1313
#include <algorithm>
1414

@@ -347,4 +347,4 @@ path_symex_statet initial_state(
347347
const locst &locs,
348348
path_symex_historyt &);
349349

350-
#endif
350+
#endif // CPROVER_AA_PATH_SYMEX_PATH_SYMEX_STATE_H

‎src/aa-path-symex/var_map.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_PATH_SYMEX_VAR_MAP_H
10-
#define CPROVER_PATH_SYMEX_VAR_MAP_H
9+
#ifndef CPROVER_AA_PATH_SYMEX_VAR_MAP_H
10+
#define CPROVER_AA_PATH_SYMEX_VAR_MAP_H
1111

1212
#include <map>
1313

@@ -118,4 +118,4 @@ class var_mapt
118118
unsigned dynamic_count; // memory allocation
119119
};
120120

121-
#endif
121+
#endif // CPROVER_AA_PATH_SYMEX_VAR_MAP_H

‎src/aa-symex/path_search.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, [email protected]
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_PATH_SEARCH_H
11-
#define CPROVER_PATH_SEARCH_H
10+
#ifndef CPROVER_AA_SYMEX_PATH_SEARCH_H
11+
#define CPROVER_AA_SYMEX_PATH_SEARCH_H
1212

1313
#include <util/time_stopping.h>
1414

@@ -91,4 +91,4 @@ class path_searcht:public safety_checkert
9191
const goto_functionst &goto_functions);
9292
};
9393

94-
#endif
94+
#endif // CPROVER_AA_SYMEX_PATH_SEARCH_H

‎src/aa-symex/symex_parseoptions.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_SYMEX_PARSEOPTIONS_H
10-
#define CPROVER_SYMEX_PARSEOPTIONS_H
9+
#ifndef CPROVER_AA_SYMEX_SYMEX_PARSEOPTIONS_H
10+
#define CPROVER_AA_SYMEX_SYMEX_PARSEOPTIONS_H
1111

1212
#include <util/ui_message.h>
1313
#include <util/parseoptions.h>
@@ -75,4 +75,4 @@ class symex_parseoptionst:
7575
void eval_verbosity();
7676
};
7777

78-
#endif
78+
#endif // CPROVER_AA_SYMEX_SYMEX_PARSEOPTIONS_H

‎src/analyses/ai.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -360,4 +360,4 @@ class concurrency_aware_ait:public ait<domainT>
360360
}
361361
};
362362

363-
#endif
363+
#endif // CPROVER_ANALYSES_AI_H

‎src/analyses/call_graph.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -34,4 +34,4 @@ class call_grapht
3434
const goto_programt &body);
3535
};
3636

37-
#endif
37+
#endif // CPROVER_ANALYSES_CALL_GRAPH_H

‎src/analyses/cfg_dominators.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Georg Weissenbacher, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_CFG_DOMINATORS_H
10-
#define CPROVER_CFG_DOMINATORS_H
9+
#ifndef CPROVER_ANALYSES_CFG_DOMINATORS_H
10+
#define CPROVER_ANALYSES_CFG_DOMINATORS_H
1111

1212
#include <set>
1313
#include <list>
@@ -251,4 +251,4 @@ typedef cfg_dominators_templatet<const goto_programt, goto_programt::const_targe
251251
typedef cfg_dominators_templatet<const goto_programt, goto_programt::const_targett, true>
252252
cfg_post_dominatorst;
253253

254-
#endif
254+
#endif // CPROVER_ANALYSES_CFG_DOMINATORS_H

‎src/analyses/constant_propagator.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Peter Schrammel
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_CONSTANT_PROPAGATOR_H
10-
#define CPROVER_CONSTANT_PROPAGATOR_H
9+
#ifndef CPROVER_ANALYSES_CONSTANT_PROPAGATOR_H
10+
#define CPROVER_ANALYSES_CONSTANT_PROPAGATOR_H
1111

1212
#include "ai.h"
1313

@@ -119,4 +119,4 @@ class constant_propagator_ait:public ait<constant_propagator_domaint>
119119
exprt &expr);
120120
};
121121

122-
#endif
122+
#endif // CPROVER_ANALYSES_CONSTANT_PROPAGATOR_H

‎src/analyses/custom_bitvector_analysis.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_CUSTOM_BITVECTOR_ANALYSIS_H
10-
#define CPROVER_CUSTOM_BITVECTOR_ANALYSIS_H
9+
#ifndef CPROVER_ANALYSES_CUSTOM_BITVECTOR_ANALYSIS_H
10+
#define CPROVER_ANALYSES_CUSTOM_BITVECTOR_ANALYSIS_H
1111

1212
#include <util/numbering.h>
1313

@@ -158,4 +158,4 @@ class custom_bitvector_analysist:public ait<custom_bitvector_domaint>
158158
std::set<exprt> aliases(const exprt &, locationt loc);
159159
};
160160

161-
#endif
161+
#endif // CPROVER_ANALYSES_CUSTOM_BITVECTOR_ANALYSIS_H

‎src/analyses/dependence_graph.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,8 @@ Date: August 2013
99
1010
\*******************************************************************/
1111

12-
#ifndef CPROVER_DEPENDENCE_GRAPH_H
13-
#define CPROVER_DEPENDENCE_GRAPH_H
12+
#ifndef CPROVER_ANALYSES_DEPENDENCE_GRAPH_H
13+
#define CPROVER_ANALYSES_DEPENDENCE_GRAPH_H
1414

1515
#include <util/graph.h>
1616

@@ -176,4 +176,4 @@ class dependence_grapht:
176176
reaching_definitions_analysist rd;
177177
};
178178

179-
#endif
179+
#endif // CPROVER_ANALYSES_DEPENDENCE_GRAPH_H

‎src/analyses/dirty.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@ Date: March 2013
88
99
\*******************************************************************/
1010

11-
#ifndef CPROVER_DIRTY_H
12-
#define CPROVER_DIRTY_H
11+
#ifndef CPROVER_ANALYSES_DIRTY_H
12+
#define CPROVER_ANALYSES_DIRTY_H
1313

1414
#include <util/std_expr.h>
1515
#include <goto-programs/goto_functions.h>
@@ -65,4 +65,4 @@ static inline std::ostream &operator << (
6565
return out;
6666
}
6767

68-
#endif
68+
#endif // CPROVER_ANALYSES_DIRTY_H

‎src/analyses/escape_analysis.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, [email protected]
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_ESCAPE_ANALYSIS_H
11-
#define CPROVER_ESCAPE_ANALYSIS_H
10+
#ifndef CPROVER_ANALYSES_ESCAPE_ANALYSIS_H
11+
#define CPROVER_ANALYSES_ESCAPE_ANALYSIS_H
1212

1313
#include <util/numbering.h>
1414
#include <util/union_find.h>
@@ -112,4 +112,4 @@ class escape_analysist:public ait<escape_domaint>
112112
const namespacet &);
113113
};
114114

115-
#endif
115+
#endif // CPROVER_ANALYSES_ESCAPE_ANALYSIS_H

‎src/analyses/flow_insensitive_analysis.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, [email protected]
77
88
\*******************************************************************/
99

10-
#ifndef FLOW_INSENSITIVE_ANALYSIS_H_
11-
#define FLOW_INSENSITIVE_ANALYSIS_H_
10+
#ifndef CPROVER_ANALYSES_FLOW_INSENSITIVE_ANALYSIS_H
11+
#define CPROVER_ANALYSES_FLOW_INSENSITIVE_ANALYSIS_H
1212

1313
#include <queue>
1414
#include <map>
@@ -259,4 +259,4 @@ class flow_insensitive_analysist:public flow_insensitive_analysis_baset
259259
void dummy(const T &s) { const statet &x=dummy1(s); (void)x; }
260260
};
261261

262-
#endif /*FLOW_INSENSITIVE_ANALYSIS_H_*/
262+
#endif // CPROVER_ANALYSES_FLOW_INSENSITIVE_ANALYSIS_H

‎src/analyses/global_may_alias.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@ Author: Daniel Kroening, [email protected]
77
88
\*******************************************************************/
99

10-
#ifndef CPROVER_GLOBAL_MAY_ALIAS_H
11-
#define CPROVER_GLOBAL_MAY_ALIAS_H
10+
#ifndef CPROVER_ANALYSES_GLOBAL_MAY_ALIAS_H
11+
#define CPROVER_ANALYSES_GLOBAL_MAY_ALIAS_H
1212

1313
#include <util/numbering.h>
1414
#include <util/union_find.h>
@@ -71,4 +71,4 @@ class global_may_alias_analysist:public ait<global_may_alias_domaint>
7171
}
7272
};
7373

74-
#endif
74+
#endif // CPROVER_ANALYSES_GLOBAL_MAY_ALIAS_H

‎src/analyses/goto_check.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_GOTO_PROGRAMS_GOTO_CHECK_H
10-
#define CPROVER_GOTO_PROGRAMS_GOTO_CHECK_H
9+
#ifndef CPROVER_ANALYSES_GOTO_CHECK_H
10+
#define CPROVER_ANALYSES_GOTO_CHECK_H
1111

1212
#include <goto-programs/goto_functions.h>
1313
#include <goto-programs/goto_model.h>
@@ -61,4 +61,4 @@ void goto_check(
6161
options.set_option("float-overflow-check", cmdline.isset("float-overflow-check")); \
6262
options.set_option("nan-check", cmdline.isset("nan-check"))
6363

64-
#endif
64+
#endif // CPROVER_ANALYSES_GOTO_CHECK_H

‎src/analyses/goto_rw.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,8 @@ Date: April 2010
88
99
\*******************************************************************/
1010

11-
#ifndef CPROVER_GOTO_PROGRAMS_GOTO_RW_H
12-
#define CPROVER_GOTO_PROGRAMS_GOTO_RW_H
11+
#ifndef CPROVER_ANALYSES_GOTO_RW_H
12+
#define CPROVER_ANALYSES_GOTO_RW_H
1313

1414
#include <map>
1515
#include <ostream>
@@ -307,4 +307,4 @@ class rw_guarded_range_set_value_sett:public rw_range_set_value_sett
307307
const range_spect &range_end);
308308
};
309309

310-
#endif
310+
#endif // CPROVER_ANALYSES_GOTO_RW_H

‎src/analyses/interval_analysis.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_INTERVAL_ANALYSIS_H
10-
#define CPROVER_INTERVAL_ANALYSIS_H
9+
#ifndef CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
10+
#define CPROVER_ANALYSES_INTERVAL_ANALYSIS_H
1111

1212
#include <util/namespace.h>
1313
#include <goto-programs/goto_functions.h>
@@ -16,4 +16,4 @@ void interval_analysis(
1616
const namespacet &ns,
1717
goto_functionst &goto_functions);
1818

19-
#endif
19+
#endif // CPROVER_ANALYSES_INTERVAL_ANALYSIS_H

‎src/analyses/interval_domain.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_INTERVAL_DOMAIN_H
10-
#define CPROVER_INTERVAL_DOMAIN_H
9+
#ifndef CPROVER_ANALYSES_INTERVAL_DOMAIN_H
10+
#define CPROVER_ANALYSES_INTERVAL_DOMAIN_H
1111

1212
#include <util/ieee_float.h>
1313
#include <util/mp_arith.h>
@@ -93,4 +93,4 @@ class interval_domaint:public ai_domain_baset
9393
ieee_float_intervalt get_float_rec(const exprt &);
9494
};
9595

96-
#endif
96+
#endif // CPROVER_ANALYSES_INTERVAL_DOMAIN_H

‎src/analyses/invariant_propagation.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ Author: Daniel Kroening, [email protected]
66
77
\*******************************************************************/
88

9-
#ifndef CPROVER_CEGAR_INVARIANT_PROPAGATION_H
10-
#define CPROVER_CEGAR_INVARIANT_PROPAGATION_H
9+
#ifndef CPROVER_ANALYSES_INVARIANT_PROPAGATION_H
10+
#define CPROVER_ANALYSES_INVARIANT_PROPAGATION_H
1111

1212
#include <pointer-analysis/value_sets.h>
1313

@@ -68,4 +68,4 @@ class invariant_propagationt:public
6868
bool check_type(const typet &type) const;
6969
};
7070

71-
#endif
71+
#endif // CPROVER_ANALYSES_INVARIANT_PROPAGATION_H

0 commit comments

Comments
 (0)