File: test-1-error.c

package info (click to toggle)
ikos 3.5-2
  • links: PTS, VCS
  • area: non-free
  • in suites: sid
  • size: 11,896 kB
  • sloc: cpp: 102,890; python: 6,471; ansic: 5,860; sh: 2,409; javascript: 348; makefile: 16
file content (13 lines) | stat: -rw-r--r-- 198 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
#include <stdlib.h>

extern int __ikos_nondet_int(void);

int main() {
  int* p;
  p = (int*)calloc(1, sizeof(int));
  if (p != NULL) {
    *p = __ikos_nondet_int();
    free(p);
    free(p);
  }
}