MISRA Discussion Forums
Portal

Welcome, Guest
You have to register before you can post on our site.

Username
  

Password
  

  Rules 0-1-3, 0-1-4, 0-1-5 and 0-1-8. External libs.
Posted by: Alex-R - 18-11-2013, 01:17 PM - Forum: 6.0 Language independent issues (C++) - Replies (1)

Rules 0-1-3, 0-1-4, 0-1-5 and 0-1-8 could have exception as using external libs.
The could be include external lib header or involved lib external sources that have more functionality than uses the project.

Yes?

Print this item

  the definition of distinct
Posted by: Takafumi Wakita - 18-11-2013, 06:18 AM - Forum: 8.5 Identifers - Replies (1)

Hello,

in the Rule 5.1, 5.2, 5.3, 5.4 and 5.5.

When portability is not our concern:

Can we use the implementation defined limits for the definition of distinct?

Best regards,
Takafumi Wakita

Print this item

  Is it possible to right shift a signed variable? (12.7)
Posted by: jbrookley - 29-10-2013, 06:01 PM - Forum: 6.12 Expressions - Replies (2)

Hello everyone,

I have an application that I need to right shift a signed variable but it seems to be giving me some issues. My initial line was:

Code:
typedef unsigned char uchar8;
typedef signed long slong32;

slong32 Shifted Long;
uchar8 NumBitsShift;

ShiftedLong >>= NumBitsShift - 1u;

Due to various MISRA C requirements, the code has morphed into this ridiculous block:

Code:
typedef unsigned char uchar8;
typedef signed char schar8;
typedef signed long slong32;

slong32 Shifted Long;
uchar8 NumBitsShift;
uchar8 tempchar = 0;
slong32 templong = 0;

tempchar = (uchar8)(NumBitsShift - 1u);

if((tempchar>=1u)&&(tempchar> tempchar; /* MISRA C 12.7 Error here */
}

On the flagged line, I get the error "Underlying type of LHS operand bitwise operator is signed type: ShiftedLong". I've tried fixing that by casting the tempchar as shown below:

Code:
ShiftedLong = ShiftedLong >> (slong32)tempchar;

I even tried to go completely over the top with plans to scale it back once I isolate the problem by doing this:

Code:
ShiftedLong = (slong32)((slong32)ShiftedLong >> (slong32)tempchar);

It appears, I am still having the same problem. What it now appears, based on this, is that it is not possible to right shift a signed variable. Is this true or is there a way around this?

Any help you can give me would be appreciated. Thanks!

Print this item

  Circular logic with rule 12.1
Posted by: jbrookley - 28-10-2013, 10:30 PM - Forum: 6.12 Expressions - Replies (4)

Hello,

I had a violation for rule 10-5 (the result of a

Print this item

  Last example for rule #13.6?
Posted by: gs - 28-10-2013, 05:55 PM - Forum: 8.13 Side effects - Replies (1)

Try as I might, I cannot get my compiler to recognize the last example for rule #13.6, the example involving an array of function pointers, as well formed. Is this intended?

Print this item

  Does 11.4 apply to any pointer or just object pointers?
Posted by: rgamble - 25-10-2013, 04:17 PM - Forum: 8.11 Pointer type conversions - Replies (2)

The scope of Rule 11.4 is unclear. The headline text for Rule 11.4 uses the phrase "pointer to object", the amplification just uses "pointer", and the rationale uses both phrases. Is this rule intended to apply to pointers to functions and pointers to incomplete types? In other words, are the following violations of this rule?

Code:
void *vp        = 1;
int (*fp)(void) = 1;

If the answer is "yes", then does the exception for null pointer constants (which also uses the phrase "pointer to object") apply to all pointers or just pointers to objects? E.g.:

Code:
int *ip         = 0;  // Okay, allowed by exception
void *vp        = 0;  // Okay?
int (*fp)(void) = 0;  // Okay?
Print this item

  Rule 12.4 - Do not use expressions with side effects
Posted by: jbrookley - 24-10-2013, 10:17 PM - Forum: 6.12 Expressions - Replies (3)

Hello everyone,

I am having a problem with rule 12.4 (Do not use expressions with side effects in the right hand operand of a logical '&&' operator). My code is as follows:

[code]if ((DualDAC == 0) && (ADC1Flag

Print this item

  MISRA2004-12_7-3 - Underlying type of LHS operand
Posted by: jbrookley - 17-10-2013, 11:29 PM - Forum: 6.12 Expressions - Replies (6)

I'm currently using Parasoft's C++ Test program and it's flagging the last line of the code below and I'm not seeing the error . . . "The error I'm getting is Underlying type of LHS operand of bitwise operator is signed type." Below is the code:

[code]typedef signed short sshort16;

struct DACStruct
{
sshort16 Off;
};

struct DACStruct DACData;

DACData.Off = (sshort16)(EEPROM_BANK1[1]) + (((sshort16)(EEPROM_BANK1[0]))

Print this item

  Examples in 6.5.3 do not match definition of a loop-counter
Posted by: drstaiger - 14-10-2013, 10:16 AM - Forum: 6.6 Statements (C++) - Replies (5)

A loop counter is defined as loop control variable that is, among other conditions,

Quote:© modified in expression

The examples for rule 6-5-3 state:
Code:
for (x = 0; modify(&x); ) // Non-compliant
{
}
for (x = 0; x < 10; )
{
  x = x * 2; // Non-compliant
}
But in both cases x is not a loop counter due to condition © being not satisfied (the expression is empty, no modification of x here), and thus the rule's text is not violated.
Should the examples be changed to contain a ++x in the expression?

Print this item

  11.3: How many 'levels' deep?
Posted by: gs - 04-10-2013, 07:50 PM - Forum: 8.11 Pointer type conversions - Replies (6)

While I am not entirely sure from the wording in the document, does this rule only concern itself with comparisons "one level deep"? For example, casting "cv1 type *" to "cv2 type *" is prohibited but "cv1a type * cv1b *" to "cv2a type * cv1b *" is allowed? Would this mean casting "cv1a type * cv1b *" to "cv2a type * cv2b *" is then prohibitted? [Presume each 'cv#' combination is unique.] While the text of the last two examples suggests the answer is "Yes", I'd like to double check.

Print this item

Search Forums

(Advanced Search)

Forum Statistics
» Members: 6,309
» Latest member: 1fuhd
» Forum threads: 1,066
» Forum posts: 2,933

Full Statistics

Online Users
There are currently 94 online users.
» 0 Member(s) | 91 Guest(s)
Bing, Google, UptimeRobot

Latest Threads
13.2 Was TC2 correctly ap...
Forum: 8.13 Side effects
Last Post: misra-c
08-10-2026, 12:47 PM
» Replies: 1
» Views: 625
20.12 Does the stringific...
Forum: 8.20 Preprocessing directives
Last Post: misra-c
08-10-2026, 12:40 PM
» Replies: 1
» Views: 554
13.3 Should side effects ...
Forum: 8.13 Side effects
Last Post: misra-c
08-10-2026, 12:37 PM
» Replies: 1
» Views: 428
11.6 pointer to pointer t...
Forum: 8.11 Pointer type conversions
Last Post: misra-c
08-10-2026, 12:21 PM
» Replies: 2
» Views: 1,032
What is the UTLR of -1?
Forum: 8.10 The essential type model
Last Post: misra-c
08-10-2026, 12:15 PM
» Replies: 1
» Views: 597
10.3 Clarify if narrower ...
Forum: 8.10 The essential type model
Last Post: misra-c
08-10-2026, 11:57 AM
» Replies: 1
» Views: 508
It 8.12 intended to be so...
Forum: 8.8 Declarations and defnitions
Last Post: misra-c
08-10-2026, 11:50 AM
» Replies: 1
» Views: 455
Rule 0.1.1 Example f4
Forum: 4.0 Language independent issues
Last Post: cgpzs
07-10-2026, 11:07 AM
» Replies: 3
» Views: 727
Rule 6-2-2 Usage of std::...
Forum: 6.6 Statements (C++)
Last Post: misra cpp
25-09-2026, 05:43 PM
» Replies: 1
» Views: 437
M5-0-4 switch over unscop...
Forum: 6.5 Expressions (C++)
Last Post: misra cpp
25-09-2026, 01:00 PM
» Replies: 3
» Views: 539