MISRA Discussion Forums › MISRA C › MISRA C:2012 and MISRA C:2023 guidelines › 8.15 Control flow
Rule 15.3 Example

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Rule 15.3 Example
ogawa.kiyoshi Offline
Junior Member
**
Posts: 15
Threads: 15
Joined: May 2005
Reputation: 0
#1
21-01-2014, 10:09 AM
Rule 15.3 Example
void f1(int32_t a){
if ( a 0){
L2:
;
}
}
has some unreachable codes. So I think
void f1(int32_t a){
if ( a 0){
L2:
;
}
}
are enough and no unreachable codes.

Dr. Ogawa Kiyoshi
https://twitter.com/kaizen_nagoya/, http://researchmap.jp/kaizen/MISRA-C/
<t>Dr. OGAWA Kioshi<br/>
@kaizen_nagoya</t>
Find
Reply


Messages In This Thread

Forum Jump:


Users browsing this thread: 1 Guest(s)