Project

General

Profile

Actions

Bug #1625

closed

Aspectator Quit on ata_piix

Added by Vadim Mutilin over 13 years ago. Updated over 5 years ago.

Status:
Rejected
Priority:
High
Category:
Core
Start date:
08/09/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
7cb978f60b73946e58efb654ac8d7840914262da
Platform:
Published in build:

Description

I run verification for LDV-GIT

LDV_DEBUG=100 LDVDB=model43_1a LDVUSER=ldvreports ldv-git --no-update-meta --force --force-full --keep-work "--filter=.*drivers/ata/ata_piix.*" --rule=43_1a 2>&1 | tee log-2.txt

Commit ed8f37370d83e695c0a4fa5d5fc7a83ecb947526 in linus 2.6 reporsitory.

At the third stage aspectator fails with:

/home/mutilin/opt/ldv/rule-instrumentor/aspectator/gcc-4.6/bin/compiler: line 41: 20646 Quit

The file ata_piix-2.c.p.ma.i (attached) produced after the first aspectator stage is successfully compiled by GCC.

rule-instrumentor: TRACE: Cache hit.
rule-instrumentor: TRACE: The cached description is 'Advice was already applied. \n \nCreate cpp definition "spin_lock_nested(lock,subclass)=ldv_spin_lock()". \n \nAdvice was already applied. \n \nCreate cpp definition "spin_lock_nest_lock(lock,nest_lock)=ldv_spin_lock()". \n \nAdvice was already applied. \n \nCreate cpp definition "spin_lock_irqsave(lock,flags)=ldv_spin_lock()". \n \nAdvice was already applied. \n \nCreate cpp definition "spin_lock_irqsave_nested(lock,flags,subclass)=ldv_spin_lock()". \n \nAdvice was already applied. \n \nCreate cpp definition "spin_trylock_irqsave(lock,flags)=ldv_spin_trylock()". \n \nAdvice was already applied. \n \nCreate cpp definition "atomic_dec_and_lock(atomic,lock)=ldv_spin_trylock()". \n \nAdvice was already applied. \n \nCreate cpp definition "alloc_page_vma(gfp_mask,vma,addr)=ldv_check_alloc_flags_and_return_some_page(gfp_mask);". \n \n/home/mutilin/opt/ldv/rule-instrumentor/aspectator/gcc-4.6/bin/compiler: line 41: 20646 Quit                    LDV_STAGE=3 LDV_ASPECT_FILE=/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/kernel-rules/./files/model0043a-blast.aspect LDV_DIR_ORIG=1 /home/mutilin/opt/ldv/rule-instrumentor/aspectator/gcc-4.6/bin/compiler-core "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config//linux" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir//rule-instrumentor/43_1a/config/include//linux" "-Wp,-MD,drivers/acpi/acpica/.utobject.o.d" "-nostdinc" "-isystem" "/usr/lib/gcc/x86_64-linux-gnu/4.4.5/include" "-I/home/mutilin/.ldv/git/envs/3/shadows/arch/x86/include" "-Iarch/x86/include/generated" "-Iinclude" "-include" "/home/mutilin/.ldv/git/envs/3/shadows/include/linux/kconfig.h" "-D__KERNEL__" "-Wall" "-Wundef" "-Wstrict-prototypes" "-Wno-trigraphs" "-fno-strict-aliasing" "-fno-common" "-Werror-implicit-function-declaration" "-Wno-format-security" "-fno-delete-null-pointer-checks" "-m64" "-mtune=generic" "-mno-red-zone" "-mcmodel=kernel" "-funit-at-a-time" "-maccumulate-outgoing-args" "-fstack-protector" "-DCONFIG_AS_CFI=1" "-DCONFIG_AS_CFI_SIGNAL_FRAME=1" "-DCONFIG_AS_CFI_SECTIONS=1" "-DCONFIG_AS_FXSAVEQ=1" "-pipe" "-Wno-sign-compare" "-fno-asynchronous-unwind-tables" "-mno-sse" "-mno-mmx" "-mno-sse2" "-mno-3dnow" "-Wframe-larger-than=2048" "-fno-omit-frame-pointer" "-fno-optimize-sibling-calls" "-g" "-femit-struct-debug-baseonly" "-pg" "-fno-inline-functions-called-once" "-Wdeclaration-after-statement" "-Wno-pointer-sign" "-fno-strict-overflow" "-fconserve-stack" "-DACPI_DEBUG_OUTPUT" "-fprofile-arcs" "-ftest-coverage" "-DKBUILD_STR(s)=#s" "-DKBUILD_BASENAME=KBUILD_STR(utobject)" "-DKBUILD_MODNAME=KBUILD_STR(acpi)" "-c" "-I/home/mutilin/.ldv/git/envs/3/shadows/drivers/acpi/acpica" "-U__GNUC__" "-D__GNUC__=4" "-U__GNUC_MINOR__" "-D__GNUC_MINOR__=2" "-U__GNUC_PATCHLEVEL__" "-D__GNUC_PATCHLEVEL__=1" "-Wno-unused-but-set-variable" "-include" "/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/kernel-rules/./files/config-tracers.h" "-I/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/kernel-rules/files/" -fno-builtin -fsyntax-only -x cpp-output /home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/acpica/utobject.c.p.ma \n \nAspectator fails on the 3d stage'.
rule-instrumentor: TRACE: Find in cache '/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/acpica/utobject.c.p' with keys '43_1a /drivers/acpi/acpica/utobject.c.p'.
rule-instrumentor: TRACE: Cache hit.
rule-instrumentor: WARNING: Removing cache target '/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/acpi/acpica/utobject.c.p' to replace it with cached value.
rule-instrumentor: TRACE: Find and save script execution time.
rule-instrumentor: DEBUG: The elapsed time is '0.118422'.
rule-instrumentor: TRACE: Convert time to milliseconds.

Files

ata_piix-2.c.p.ma.i (1.34 MB) ata_piix-2.c.p.ma.i taken from aspectator Vadim Mutilin, 08/09/2011 11:18 AM
Actions #2

Updated by Vadim Mutilin over 13 years ago

without cache (--no-cache) it reaches RCV, but fails with parsing error:

/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/ata/ata_piix.c.p:395: Error: INDEX designator is outside bounds

GCC agrees with CIL on some errors

include/linux/fs.h: In function ‘locks_verify_truncate’:
include/linux/fs.h:1947: error: stray ‘#’ in program
include/linux/fs.h:1947: error: expected ‘)’ before string constant
include/linux/fs.h:1948: error: request for member ‘i_size’ in something not a structure or union
/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/ata/ata_piix.c.p: At top level:
/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/ata/ata_piix.c.p:395: error: array index in initializer exceeds array bounds
/home/mutilin/.ldv/git/envs/3/work/work-ed8f37370d83e695c0a4fa5d5fc7a83ecb947526/drivers/ata/ata_piix.c/work/current--X--commands.xml--X--defaultshadows--X--43_1a/artificial_env_1/csd_deg_dscv/127/dscv_tempdir/dscv/ri/43_1a/drivers/ata/ata_piix.c.p:395: error: (near initialization for ‘ich5_map_db.map’)

Gcc compiles successfully the preprocessed file ata_piix.c.p.ma produced after first stage of aspectator.

Actions #3

Updated by Pavel Shved over 13 years ago

  • Priority changed from High to Normal
Actions #4

Updated by Evgeny Novikov about 12 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework
  • Category deleted (15)
Actions #5

Updated by Evgeny Novikov almost 9 years ago

  • Category set to Core
  • Priority changed from Normal to High
Actions #6

Updated by Evgeny Novikov over 5 years ago

  • Status changed from New to Rejected

I don't think that the issue still exists.

Actions

Also available in: Atom PDF