replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

clang-format cleanup 

Several forall_* macros have by now been eliminated from the code base as we
increasingly use C++11 ranged-for for those cases, or maybe don't need the
forall_* macro at all anymore. This commit just removes the unused ones from the
clang-format specification, no actual code changes.
This commit is contained in:
Michael Tautschnig 2018-10-12 11:31:25 +00:00
parent 4bf00ce426
commit 03dd6eb167
1 changed files with 0 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
.clang-format
View File

@ -31,13 +31,9 @@ DisableFormat: 'false'
ExperimentalAutoDetectBinPacking: 'false'
ForEachMacros: [
'forall_rw_range_set_r_objects',
'Forall_rw_range_set_r_objects',
'forall_rw_range_set_w_objects',
'Forall_rw_range_set_w_objects',
'forall_rw_set_r_entries',
'Forall_rw_set_r_entries',
'forall_rw_set_w_entries',
'Forall_rw_set_w_entries',
'forall_goto_functions',
'Forall_goto_functions',
'forall_goto_program_instructions',
@ -47,31 +43,20 @@ ForEachMacros: [
'forall_valid_objects',
'Forall_valid_objects',
'forall_nodes',
'Forall_nodes',
'forall_literals',
'Forall_literals',
'forall_operands',
'Forall_operands',
'forall_expr',
'Forall_expr',
'forall_expr_list',
'Forall_expr_list',
'forall_symbolptr_list',
'Forall_symbolptr_list',
'forall_guard',
'Forall_guard',
'forall_irep',
'Forall_irep',
'forall_named_irep',
'Forall_named_irep',
'forall_value_list',
'Forall_value_list',
'forall_symbols',
'Forall_symbols',
'forall_symbol_base_map',
'Forall_symbol_base_map',
'forall_symbol_module_map',
'Forall_symbol_module_map',
'forall_subtypes',
'Forall_subtypes']
IndentCaseLabels: 'false'