Rule 16.8 and 14.7

6.16 Functions

Moderators: misra-c, david ward

Post Reply
Posts: 1
Joined: Wed Jan 04, 2012 10:01 pm
Company: OvG-Universitát Magdeburg

Rule 16.8 and 14.7

Post by jpmzometa » Fri Jan 06, 2012 10:35 pm

In rule 16.8 is stated
All exit paths from a function...
whereas rule 14.7 states
A function shall have a single point of exit...

Is there a difference between "exit path" and "point of exit"? If not, should rule 16.8 be interpreted as beginning with "The single point of exit from a function..."?


Posts: 572
Joined: Thu Jan 05, 2006 1:11 pm

Re: Rule 16.8 and 14.7

Post by misra-c » Wed Jan 11, 2012 8:11 am

Rule 14.7 requires that a function have a single point of exit. However if the rule is deviated, a function might have multiple points of exit. In this case, it is still important that each point of exit in a non-void function return a value. So, Rule 16.8 should be interpreted as applying to *all* points of exit even though this will usually be a single point of exit.

There is no significance in the use of the word "path" in rule 16.8. An exit path must pass through an exit point so the rule could also be interpreted as saying "All exit points from a function ... "
Posted by and on behalf of
the MISRA C Working Group

Post Reply

Return to “6.16 Functions”