Skip to content
This repository has been archived by the owner on Dec 31, 2020. It is now read-only.

Latest commit

 

History

History
252 lines (231 loc) · 15.6 KB

c2012.md

File metadata and controls

252 lines (231 loc) · 15.6 KB
Raw

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