[creduce-dev] possible creduce' improvement

[Дмитрий Дьяченко]

Hi!

I use creduce-git-latest

After "creduce --sanitize --sanity-checks --sllooww x.sh x.ii" I have

$ cat x.ii
typedef struct
{
    volatile struct
    {
    } x0;
}
x1;
int
x2 ()
{
    x1 x3 = x3;
    return 0;
}

Looks like there are possible simplifications : definitely 1 / may be 2

1) remove 'return 0;' and change return type for x2() from 'int' to 'void'

2) ? maybe-simplification ?
replace int x2() to
extern x1 x2;
x1 x3 = x2;

I use gcc-4.8.1 from Fedora 19, clang-3.3
Probably it's possible to use gcc-4.7 / clang-3.2

You can find mentioned files in attachment
1) x.sh -- script to run
2) x.best -- creduce'd testcase
3) x.ii -- x.best further reduced by hand

Thanks,
Dmitry

x.sh
Description: Bourne shell script

x.best
Description: Binary data

x.ii
Description: Binary data