andersk / splint.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | void t1 (void) | |
| 2 | { | |
| 3 | char *g; | |
| 4 | ||
| 5 | g[100] = 'f'; | |
| 6 | ||
| 7 | { | |
| 8 | g++; | |
| 9 | ||
| 10 | g[0] = '1'; | |
| 11 | g[67] = g[70]; | |
| 12 | g[98] = g[99]; | |
| 13 | g[90] = g[3]; | |
| 14 | } | |
| 15 | } | |
| 16 | ||
| 17 | void t2 (void) | |
| 18 | { | |
| 19 | char *g; | |
| 20 | g++; | |
| 21 | g[0] = g[1]; | |
| 22 | } |