Tag as amendment3, mark 17-13 not supportable

This commit is contained in:
Mike Fairhurst 2024-10-04 11:35:49 -07:00
Родитель 1007a53248
Коммит c972403d1a
3 изменённых файлов: 4 добавлений и 9 удалений

Просмотреть файл

@ -8,6 +8,7 @@
* @problem.severity error
* @tags external/misra/id/rule-17-12
* readability
* external/misra/c/2012/amendment3
* external/misra/obligation/advisory
*/

Просмотреть файл

@ -13,18 +13,12 @@
"severity": "error",
"short_name": "FunctionAddressesShouldAddressOperator",
"tags": [
"readability"
"readability",
"external/misra/c/2012/amendment3"
]
}
],
"title": "A function identifier should only be called with a parenthesized parameter list or used with a & (address-of)"
},
"RULE-17-13": {
"properties": {
"obligation": "required"
},
"queries": [],
"title": "A function type shall not include any type qualifiers (const, volatile, restrict, or _Atomic)"
}
}
}

Просмотреть файл

@ -739,7 +739,7 @@ c,MISRA-C-2012,RULE-17-9,Yes,Mandatory,,,Verify that a function declared with _N
c,MISRA-C-2012,RULE-17-10,Yes,Required,,,A function declared with _noreturn shall have a return type of void,,NoReturn,Easy,
c,MISRA-C-2012,RULE-17-11,Yes,Advisory,,,A function without a branch that returns shall be declared with _Noreturn,,NoReturn,Easy,
c,MISRA-C-2012,RULE-17-12,Yes,Advisory,,,A function identifier should only be called with a parenthesized parameter list or used with a & (address-of),,FunctionTypes,Easy,
c,MISRA-C-2012,RULE-17-13,Yes,Required,,,"A function type shall not include any type qualifiers (const, volatile, restrict, or _Atomic)",,FunctionTypes,Easy,
c,MISRA-C-2012,RULE-17-13,No,Required,,,"A function type shall not include any type qualifiers (const, volatile, restrict, or _Atomic)",,,Easy,
c,MISRA-C-2012,RULE-18-1,Yes,Required,,,A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand,M5-0-16,Pointers1,Import,
c,MISRA-C-2012,RULE-18-2,Yes,Required,,,Subtraction between pointers shall only be applied to pointers that address elements of the same array,M5-0-17,Pointers1,Import,
c,MISRA-C-2012,RULE-18-3,Yes,Required,,,"The relational operators >, >=, < and <= shall not be applied to objects of pointer type except where they point into the same object",M5-0-18,Pointers1,Import,

1 Language Standard ID Supportable Obligation level Enforcement level Allocated target Description Similar Package Difficulty Justification for querability level
739 c MISRA-C-2012 RULE-17-10 Yes Required A function declared with _noreturn shall have a return type of void NoReturn Easy
740 c MISRA-C-2012 RULE-17-11 Yes Advisory A function without a branch that returns shall be declared with _Noreturn NoReturn Easy
741 c MISRA-C-2012 RULE-17-12 Yes Advisory A function identifier should only be called with a parenthesized parameter list or used with a & (address-of) FunctionTypes Easy
742 c MISRA-C-2012 RULE-17-13 Yes No Required A function type shall not include any type qualifiers (const, volatile, restrict, or _Atomic) FunctionTypes Easy
743 c MISRA-C-2012 RULE-18-1 Yes Required A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand M5-0-16 Pointers1 Import
744 c MISRA-C-2012 RULE-18-2 Yes Required Subtraction between pointers shall only be applied to pointers that address elements of the same array M5-0-17 Pointers1 Import
745 c MISRA-C-2012 RULE-18-3 Yes Required The relational operators >, >=, < and <= shall not be applied to objects of pointer type except where they point into the same object M5-0-18 Pointers1 Import