Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 80edc11

Browse filesBrowse files
Address feedback on emergent language features
1 parent 9f60b60 commit 80edc11
Copy full SHA for 80edc11

File tree

3 files changed

+7
-1
lines changed
Filter options

3 files changed

+7
-1
lines changed

‎amendments.csv

Copy file name to clipboardExpand all lines: amendments.csv
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ language,standard,amendment,rule_id,supportable,implementation_category,implemen
22
c,MISRA-C-2012,Amendment3,DIR-4-6,Yes,Expand,Yes,Easy
33
c,MISRA-C-2012,Amendment3,DIR-4-9,Yes,Refine,No,Easy
44
c,MISRA-C-2012,Amendment3,DIR-4-11,Yes,Refine,No,Import
5-
c,MISRA-C-2012,Amendment3,RULE-1-4,Yes,Replace,Yes,Easy
5+
c,MISRA-C-2012,Amendment3,RULE-1-4,Yes,Replace,No,Easy
66
c,MISRA-C-2012,Amendment3,RULE-10-1,Yes,Replace,Yes,Easy
77
c,MISRA-C-2012,Amendment3,RULE-10-3,Yes,Refine,Yes,Easy
88
c,MISRA-C-2012,Amendment3,RULE-10-4,Yes,Refine,Yes,Import
+2Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
- `RULE-1-4` - `EmergentLanguageFeaturesUsed.ql`:
2+
- Remove restrictions on `stdnoreturn.h`, `stdalign.h`.

‎cpp/common/src/codingstandards/cpp/Emergent.qll

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/Emergent.qll
+4Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,4 +12,8 @@ module C11 {
1212
getBody() = "1"
1313
}
1414
}
15+
16+
class GenericMacro extends EmergentLanguageFeature, Macro {
17+
GenericMacro() { getBody().indexOf("_Generic") = 0 }
18+
}
1519
}

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.