cppcheck/test/testsuites/danmar-verify/uninit.c

36 lines
643 B
C

// make USE_Z3=yes
// ./cppcheck --verify --inline-suppr --enable=information test/testsuites/danmar-verify/uninit.c
int array1() {
int a[10];
a[0] = 0;
// cppcheck-suppress verificationUninit
return a[2];
}
int array2() {
int a[10][10];
a[0][0] = 0;
// cppcheck-suppress verificationUninit
return a[2][3];
}
void local1() {
int x;
// cppcheck-suppress verificationUninit
// cppcheck-suppress uninitvar
return x;
}
int pointer1(int *p) {
// cppcheck-suppress verificationUninit
return *p;
}
void pointer2(char *p) {
// cppcheck-suppress verificationUninitArg
strlen(p);
}