[creduce-bugs] C-Reduce fails to reduce C++ code properly

[annulen at yandex.ru (Konstantin Tokarev)]

Here are 2 versions of the same test case:

cregex_2.cpp.big - output of creduce (aeb8b294)
cregex_2.cpp - manually reduced

Unfortuantely its reproduction will require special build of compiler; however I assume it could be useful on its own.
When doing manual reduction, I've removed all members of a[] except of first, removed classes, A, B, and C, removed unused template parameters of other classes including H, and then re-run creduce again.

-- 
Regards,
Konstantin
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cregex_2.cpp.big
Type: text/x-c++
Size: 3789 bytes
Desc: not available
URL: <http://www.flux.utah.edu/pipermail/creduce-bugs/attachments/20120701/6ef48a5e/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cregex_2.cpp
Type: text/x-c++
Size: 179 bytes
Desc: not available
URL: <http://www.flux.utah.edu/pipermail/creduce-bugs/attachments/20120701/6ef48a5e/attachment-0003.bin>