]>
andersk Git - splint.git/blame_incremental - test/tests2.4/bug1.c
... / ...
Commit | Line | Data |
| 1 | int main( void ) |
| 2 | { |
| 3 | int a=5,c=1; |
| 4 | |
| 5 | switch(a) |
| 6 | { |
| 7 | case 1: |
| 8 | while (c>3) |
| 9 | { |
| 10 | case 3: |
| 11 | ++c; |
| 12 | } |
| 13 | } |
| 14 | |
| 15 | return 7; |
| 16 | } |
This page took 0.047847 seconds and 5 git commands to generate.