Skip to content

Commit 80edc11

Browse files
Address feedback on emergent language features
1 parent 9f60b60 commit 80edc11

File tree

3 files changed

+7
-1
lines changed

3 files changed

+7
-1
lines changed

amendments.csv

+1-1
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
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

+4
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)