walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Fixed #10487 (FP: misra-c2012-10.6 (bit fields))

This commit is contained in:
Daniel Marjamäki 2021-09-20 20:27:43 +02:00
parent c6f8995bf0
commit adb703c09d
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
addons/misra.py
View File

@ -2265,7 +2265,8 @@ class MisraChecker:
e = getEssentialType(token.astOperand2) e = getEssentialType(token.astOperand2)
if not e: if not e:
continue continue
if bitsOfEssentialType(vt1.type) > bitsOfEssentialType(e): lhsbits = vt1.bits if vt1.bits else bitsOfEssentialType(vt1.type)
if lhsbits > bitsOfEssentialType(e):
self.reportError(token, 10, 6) self.reportError(token, 10, 6)
except ValueError: except ValueError:
pass pass

5
addons/test/misra/misra-test.c
View File

@ -707,11 +707,16 @@ static void misra_10_5(uint16_t x) {
res = (float) 'x'; res = (float) 'x';
} }
struct misra_10_6_s {
unsigned int a:4;
};
static void misra_10_6(u8 x, u32 a, u32 b, char c1, char c2) { static void misra_10_6(u8 x, u32 a, u32 b, char c1, char c2) {
u16 y = x+x; // 10.6 u16 y = x+x; // 10.6
u16 z = ~u8 x ;//10.6 u16 z = ~u8 x ;//10.6
u32 c = ( u16) ( u32 a + u32 b ); //10.6 u32 c = ( u16) ( u32 a + u32 b ); //10.6
s32 i = c1 - c2; // 10.3 FIXME: False positive for 10.6 (this is compliant). Trac #9488 s32 i = c1 - c2; // 10.3 FIXME: False positive for 10.6 (this is compliant). Trac #9488
struct misra_10_6_s s;
s.a = x & 1U; // no-warning (#10487)
} }
static void misra_10_6_1(uint32_t *a, uint16_t b, uint16_t c) static void misra_10_6_1(uint32_t *a, uint16_t b, uint16_t c)
{ {