forked from NASA-SW-VnV/ikos
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.clang-tidy
40 lines (40 loc) · 3.52 KB
/
.clang-tidy
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
Checks: '*,-cert-dcl03-c,-cppcoreguidelines-avoid-magic-numbers,-cppcoreguidelines-non-private-member-variables-in-classes,-cppcoreguidelines-pro-bounds-array-to-pointer-decay,-fuchsia-default-arguments,-fuchsia-multiple-inheritance,-fuchsia-overloaded-operator,-fuchsia-statically-constructed-objects,-google-runtime-references,-hicpp-no-array-decay,-hicpp-static-assert,-llvm-header-guard,-misc-non-private-member-variables-in-classes,-misc-static-assert,-modernize-use-default-member-init,-readability-const-return-type,-readability-else-after-return,-readability-magic-numbers,-readability-named-parameter'
CheckOptions:
- { key: readability-identifier-naming.NamespaceCase, value: lower_case }
- { key: readability-identifier-naming.TypeAliasCase, value: CamelCase }
- { key: readability-identifier-naming.TemplateParameterCase, value: CamelCase }
- { key: readability-identifier-naming.TypedefCase, value: CamelCase }
- { key: readability-identifier-naming.ClassCase, value: CamelCase }
- { key: readability-identifier-naming.StructCase, value: CamelCase }
- { key: readability-identifier-naming.EnumCase, value: CamelCase }
- { key: readability-identifier-naming.UnionCase, value: CamelCase }
- { key: readability-identifier-naming.MemberCase, value: lower_case }
- { key: readability-identifier-naming.PrivateMemberPrefix, value: _ }
- { key: readability-identifier-naming.ProtectedMemberPrefix, value: _ }
- { key: readability-identifier-naming.FunctionCase, value: lower_case }
- { key: readability-identifier-naming.MethodCase, value: lower_case }
- { key: readability-identifier-naming.VariableCase, value: lower_case }
- { key: readability-identifier-naming.GlobalConstantCase, value: CamelCase }
- { key: readability-identifier-naming.StaticVariableCase, value: CamelCase }
- { key: readability-identifier-naming.GlobalVariableCase, value: CamelCase }
- { key: modernize-use-default-member-init.UseAssignment, value: 1 }
# Reasons for disabling checks:
# * cert-dcl03-c: It generates false positives with ikos_unreachable()
# * cppcoreguidelines-avoid-magic-numbers: It generates too many warnings
# * cppcoreguidelines-non-private-member-variables-in-classes: It generates warnings for protected members of classes
# * cppcoreguidelines-pro-bounds-array-to-pointer-decay: It generates warnings for ikos_assert_msg()
# * fuchsia-default-arguments: We allow default arguments
# * fuchsia-multiple-inheritance: We allow multiple inheritance
# * fuchsia-overloaded-operator: We allow overloads of operators
# * fuchsia-statically-constructed-objects: We allow static objects
# * google-runtime-references: We allow output parameters as reference
# * hicpp-no-array-decay: It generates warnings for ikos_assert_msg()
# * hicpp-static-assert: It generates false positives with ikos_unreachable()
# * llvm-header-guard: We use #pragma once
# * misc-non-private-member-variables-in-classes: It generates warnings for public members of structures
# * misc-static-assert: It generates false positives with ikos_unreachable()
# * modernize-use-default-member-init: We prefer to explicitly initialize member variables
# * readability-const-return-type: It generates contradicting warnings with check cert-dcl21-cpp
# * readability-else-after-return: We allow else after return
# * readability-magic-numbers: It generates too many warnings
# * readability-named-parameter: We allow unnamed parameters