Method dt_find_entry called with too many parameters in ldv-benchmarks
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main0_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main11_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main17_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main18_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main19_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main21_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main7_true-unreach-label.cil.out.c
return
Error: Parsing failed (lines 98063-98064: Method dt_find_entry takes 3 parameter(s) but is called with 10 parameter(s): dt_find_entry(env, cookie, "%s(%d):[%lu, %lu]@[%#llx:0x%x:0x%x]", tmp, __CPAchecker_TMP_0, descr->cld_start, descr->cld_end, fid->f_seq, fid->f_oid, fid->f_ver); (line was originally pointer call(dt_find_entry) (*printer)(env, cookie, "%s(%d):[%lu, %lu]@[%#llx:0x%x:0x%x]", tmp, (unsigned int )descr->cld_mode,
descr->cld_start, descr->cld_end, fid->f_seq, fid->f_oid, fid->f_ver);)) (CFASecondPassBuilder.createCallAndReturnEdges, SEVERE)
commands to reproduce:
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main0_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main11_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main17_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main18_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main19_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main21_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main7_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/32_7a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main9_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main11_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main17_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main18_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main19_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main21_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main7_true-unreach-label.cil.out.c
test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main9_true-unreach-label.cil.out.c
return same Error in lines 99649-99650
commands to reproduce:
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main11_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main17_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main18_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main19_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main21_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main7_true-unreach-label.cil.out.c
scripts/cpa.sh -heap 2500m -noout -generateCFA -stats test/programs/ldv-benchmarks/safes/43_2a/linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--obdclass--obdclass.ko-ldv_main9_true-unreach-label.cil.out.c