[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] creduce bug

Hit a bug with creduce, forwarding requested info.

-Pat

(See attached file: PASS_BUG_INFO.TXT)(See attached file: table_cache.ii)

creduce 2.6.0
unknown
Linux
pike
4.8.0-46-generic
#49-Ubuntu SMP Fri Mar 31 13:56:16 UTC 2017
ppc64le

***************************************************

pass_clang::rename-cxx-method has encountered a bug:
pass failed to modify the variant

Please consider tarring up /home/pthaugen/temp/creduce/creduce_bug_000
and mailing it to creduce-bugs@flux.utah.edu and we will try to fix
the bug.

This bug is not fatal, C-Reduce will continue to execute.

***************************************************

Attachment: table_cache.ii
Description: Binary data