Bug #1160: New aspectator doesn't convert abs() function properly - C Instrumentation Framework - Open-Source Projects

Actions

Copy link

Bug #1160

closed

New aspectator doesn't convert abs() function properly

Added by Pavel Shved about 13 years ago. Updated over 11 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Evgeny Novikov

Category:

Start date:

05/03/2011

Due date:

% Done:

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" 
    ( ( ( ( ( ( ( ( ( ( ( ) ) ) ) ) ) ) ) ) ) );
  } )

Related issues 2 (1 open — 1 closed)