[previous] 0706 [next] [U] Label '%s' is not unique within this function.
Explicitly undefined REFERENCE - ISO:C90-6.1.2.1 Scopes of Identifiers

This label appears more than once in the current function. This is not permitted.

For example: 


/*PRQA S 2001,2015,2017,2200,2201,3120,3227,3408 ++*/

extern void foo(int x, int y)
{
   if (!x)
   {
label_a:
      y = 5;
   }

   if (x == y)
   {
      goto label_a;
   }

label_a:                        /* Message 0706 */
   return;
}

MISRA C:2012 Rules applicable to message 0706:

Rule-1.3  (Required) There shall be no occurrence of undefined or critical unspecified behaviour

QA·C Source Code Analyser 8.1
MISRA C:2012 Compliance Module 1.0
© 2012 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index | MISRA C:2012 Rule Index Contents