File: local-variable.i

package info (click to toggle)
frama-c 20220511-manganese-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 66,472 kB
  • sloc: ml: 278,832; ansic: 47,093; sh: 4,823; makefile: 3,618; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62
file content (28 lines) | stat: -rw-r--r-- 315 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
 
int main(){
  {
    int a ;
  }
  ; // < NOP inserted
}

void f() {
  if (0) {
    int b;
  }
}

void h (int i) {
 int x = 1;
 int t[100 / sizeof(x)];
 int u[100 / sizeof(i)];
}

int c;
int g() { return 1 || (-1L || g(), c); }

int nop(void) {
  { int loc_var; }
  { int loc_var (void);
    return loc_var();
  }
}