pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Uninit: fix test

Browse Source 
Reviewed By: ngorogiannis

Differential Revision: D10446521

fbshipit-source-id: 50811eab3
master
Mehdi Bouaziz 6 years ago committed by Facebook Github Bot
parent 0d4b88ae29
commit 6d9943f2aa
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File

2
infer/tests/codetoanalyze/c/uninit/arrays.c
Unescape View File

@ -50,7 +50,7 @@ int array_good3_FP(int m) {
void mayinit_vpp(const void**); void mayinit_vpp(const void**);
void use_vp(void*); void use_vp(void*);
void* call_to_mayinit_and_return_good_FP() { void* call_to_mayinit_and_return_good() {
void* obj[10]; void* obj[10];
mayinit_vpp((const void**)obj); mayinit_vpp((const void**)obj);
return obj[0]; return obj[0];

1
infer/tests/codetoanalyze/c/uninit/issues.exp
Unescape View File

@ -2,6 +2,5 @@ codetoanalyze/c/uninit/arrays.c, array_bad, 5, UNINITIALIZED_VALUE, no_bucket, E
codetoanalyze/c/uninit/arrays.c, array_good1_FP, 5, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/arrays.c, array_good1_FP, 5, UNINITIALIZED_VALUE, no_bucket, ERROR, []
codetoanalyze/c/uninit/arrays.c, array_good2_FP, 9, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/arrays.c, array_good2_FP, 9, UNINITIALIZED_VALUE, no_bucket, ERROR, []
codetoanalyze/c/uninit/arrays.c, array_good3_FP, 9, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/arrays.c, array_good3_FP, 9, UNINITIALIZED_VALUE, no_bucket, ERROR, []
codetoanalyze/c/uninit/arrays.c, call_to_mayinit_and_return_good_FP, 3, UNINITIALIZED_VALUE, no_bucket, ERROR, []
codetoanalyze/c/uninit/uninit.c, dereference_bad, 2, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/uninit.c, dereference_bad, 2, UNINITIALIZED_VALUE, no_bucket, ERROR, []
codetoanalyze/c/uninit/uninit.c, self_assign_bad, 2, UNINITIALIZED_VALUE, no_bucket, ERROR, [] codetoanalyze/c/uninit/uninit.c, self_assign_bad, 2, UNINITIALIZED_VALUE, no_bucket, ERROR, []

Write Preview
Loading…
Cancel
Save