home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lclint.zip / lclint-2_3h-os2-bin.zip / test / tests2.2a / notreached.c < prev    next >
Text File  |  1997-09-03  |  114b  |  10 lines
  1. int f (int x)
  2. {
  3.   if (x > 3) {
  4.     /*@notreached@*/ ;
  5.   } else {
  6.     return 3;
  7.     /*@notreached@*/ x = 12;
  8.   }
  9. }
  10.