C Instrumentation Framework

Steps to reproduce:

LDV_DEBUG=30 ldv-manager rule_models=32_1a "envs=linux-2.6.31.6.tar.bz2" drivers=drivers/mtd/chips/cfi_probe.ko kernel_driver=1 name=ri14

The error message is:

/home/pavel/work/ldv/test/work/current--X--drivers/mtd/chips/cfi_probe.ko--X--ri14linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_1a/drivers/mtd/chips/cfi_probe.c.p: In function 'ldv_main0_sequence_infinite_withcheck_stateful':
/home/pavel/work/ldv/test/work/current--X--drivers/mtd/chips/cfi_probe.ko--X--ri14linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_1a/drivers/mtd/chips/cfi_probe.c.p:549:18: error: storage size of 'var_group2' isn't known
/home/pavel/work/ldv/test/work/current--X--drivers/mtd/chips/cfi_probe.ko--X--ri14linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_1a/drivers/mtd/chips/cfi_probe.c.p:613:2: warning: ISO C90 forbids mixed declarations and code [-Wdeclaration-after-statement]
/home/pavel/work/ldv/test/work/current--X--drivers/mtd/chips/cfi_probe.ko--X--ri14linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_1a/drivers/mtd/chips/cfi_probe.c.p:549:28: warning: unused variable 'var_group2' [-Wunused-variable]
/home/pavel/work/ldv/test/work/current--X--drivers/mtd/chips/cfi_probe.ko--X--ri14linux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/11/dscv_tempdir/dscv/ri/32_1a/drivers/mtd/chips/cfi_probe.c.p:790:1: fatal error: incorrect exceptional code 

In other cases the "incorrect exceptional code" error is also preceded with a compile error (for instance, for the famous jedec_probe bug #553)