c2012.md

A standard C environment

Rule	Supported by	Remarks
1.1	-std=c99	For C90 use -std=c90
1.2	-pedantic-errors
1.3	TBD

Unused code

Rule	Supported by	Remarks
2.1	unsupported	Undecidable, System
2.2	unsupported	Undecidable, System
2.3	unsupported	Partial coverage: -Wunused-local-typedef
2.4	unsupported	Wishlist test existing
2.5	unsupported	partial coverage: -Wunused-macros
2.6	-Wunused-label
2.7	TBD

Comments

Rule	Supported by	Remarks
3.1	-Wcomment
3.2	-Wcomment

Character sets and lexical conventions

Rule	Supported by	Remarks
4.1	unsupported
4.2	-Wtrigraphs

Identifiers

Rule	Supported by	Remarks
5.1	TBD	Decidable, System
5.2	TBD	Decidable, Single Translation Unit
5.3	TBD	Decidable, Single Translation Unit
5.4	unsupported	Wishlist test existing; Decidable, Single Translation Unit
5.5	unsupported	Wishlist test existing; Decidable, Single Translation Unit
5.6	TBD	Decidable, System
5.7	TBD	Decidable, System
5.8	TBD	Decidable, System
5.9	TBD	Decidable, System

Types

Rule	Supported by	Remarks
6.1	TBD
6.2	misra-c2012-6.2

Literals and constants

Rule	Supported by	Remarks
7.1	TBD
7.2	TBD
7.3	TBD
7.4	TBD

Declarations and definitions

Rule	Supported by	Remarks
8.1	TBD
8.2	TBD
8.3	TBD
8.4	TBD
8.5	TBD
8.6	TBD
8.7	TBD
8.8	TBD
8.9	TBD
8.10	TBD
8.11	TBD
8.12	TBD
8.13	TBD
8.14	TBD

Initialization

Rule	Supported by	Remarks
9.1	TBD
9.2	TBD
9.3	TBD
9.4	TBD
9.5	TBD

The essential type model

Rule	Supported by	Remarks
10.1	TBD
10.2	TBD
10.3	TBD
10.4	TBD
10.5	TBD
10.6	TBD
10.7	TBD
10.8	TBD

Pointer type conversions

Rule	Supported by	Remarks
11.1	TBD
11.2	TBD
11.3	TBD
11.4	TBD
11.5	TBD
11.6	TBD
11.7	TBD
11.8	TBD
11.9	TBD

Expressions

Rule	Supported by	Remarks
12.1	TBD
12.2	TBD
12.3	TBD
12.4	TBD

Side effects

Rule	Supported by	Remarks
13.1	TBD
13.2	TBD
13.3	TBD
13.4	TBD
13.5	TBD
13.6	TBD

Control statement expressions

Rule	Supported by	Remarks
14.1	TBD
14.2	TBD
14.3	TBD
14.4	TBD

Control flow

Rule	Supported by	Remarks
15.1	TBD
15.2	TBD
15.3	TBD
15.4	TBD
15.5	TBD
15.6	TBD
15.7	TBD

Switch statements

Rule	Supported by	Remarks
16.1	TBD
16.2	TBD
16.3	TBD
16.4	TBD
16.5	TBD
16.6	TBD
16.7	TBD

Functions

Rule	Supported by	Remarks
17.1	misra-c2012-17.1
17.2	TBD
17.3	TBD
17.4	TBD
17.5	TBD
17.6	TBD
17.7	TBD
17.8	TBD

Pointers and arrays

Rule	Supported by	Remarks
18.1	TBD
18.2	TBD
18.3	TBD
18.4	TBD
18.5	TBD
18.6	TBD
18.7	TBD
18.8	TBD

Overlapping storage

Rule	Supported by	Remarks
19.1	TBD
19.2	TBD

Preprocessing directives

Rule	Supported by	Remarks
20.1	TBD
20.2	TBD
20.3	TBD
20.4	TBD
20.5	TBD
20.6	TBD
20.7	TBD
20.8	TBD
20.9	TBD
20.10	TBD
20.11	TBD
20.12	TBD
20.13	TBD
20.14	TBD

Standard libraries

Rule	Supported by	Remarks
21.1	TBD
21.2	TBD
21.3	TBD
21.4	TBD
21.5	TBD
21.6	TBD
21.7	TBD
21.8	TBD
21.9	TBD
21.10	TBD
21.11	TBD
21.12	TBD

Resources

Rule	Supported by	Remarks
22.1	TBD
22.2	TBD
22.3	TBD
22.4	TBD
22.5	TBD
22.6	TBD