We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f798abe commit f09cc5dCopy full SHA for f09cc5d
c/misra/src/rules/RULE-21-13/CtypeFunctionArgNotUnsignedCharOrEof.ql
@@ -28,7 +28,8 @@ where
28
ctypeCall = ctype.getACallToThisFunction()
29
|
30
/* Case 1: The argument's value should be in the `unsigned char` range. */
31
- typeLowerBound(unsignedChar) <= lowerBound(ctypeCall.getAnArgument().getExplicitlyConverted()) and // consider casts
+ // Use `.getExplicitlyConverted` to consider inline argument casts.
32
+ typeLowerBound(unsignedChar) <= lowerBound(ctypeCall.getAnArgument().getExplicitlyConverted()) and
33
upperBound(ctypeCall.getAnArgument().getExplicitlyConverted()) <= typeUpperBound(unsignedChar)
34
or
35
/* Case 2: EOF flows to this argument without modifications. */
0 commit comments