Actions
Bug #1160
closedNew aspectator doesn't convert abs() function properly
Start date:
05/03/2011
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
0356a33 (aspect-gcc)
Description
Steps to reproduce:
LDV_DEBUG=30 ldv-manager rule_models=32_1a "envs=linux-2.6.31.6.tar.bz2" drivers=drivers/media/video/gspca/gspca_main.ko kernel_driver=1
The original source code looks like this:
steps = abs(desired_avg_lum - avg_lum) / deadzone;
but in the preprocessed aspectated sources we see:
# 2169 "/mnt/cluster/work/work/current--X--drivers/--X--test_newrilinux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/1186/dscv_tempdir/dscv/ri/32_1a/drivers/media/video/gspca/gspca.c.p"
steps = ({
# 2169 "/mnt/cluster/work/work/current--X--drivers/--X--test_newrilinux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/1186/dscv_tempdir/dscv/ri/32_1a/drivers/media/video/gspca/gspca.c.p"
int __x = desired_avg_lum - avg_lum;
# 2169 "/mnt/cluster/work/work/current--X--drivers/--X--test_newrilinux-2.6.31.6--X--32_1a/linux-2.6.31.6/csd_deg_dscv/1186/dscv_tempdir/dscv/ri/32_1a/drivers/media/video/gspca/gspca.c.p"
( ( ( ( ( ( ( ( ( ( ( ) ) ) ) ) ) ) ) ) ) );
} )
Actions