]> andersk Git - splint.git/blob - test/buffertest1.c
noexpand always false.
[splint.git] / test / buffertest1.c
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 }
This page took 0.047365 seconds and 5 git commands to generate.