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

Re: [creduce-bugs] creduce bugs



Hi Ryan,

Thanks for reporting the issue.

I couldn't repro the crash with the git-head version. Which version did you use?

Here is what I got:

$ ./test_transformation -transformation=template-non-type-arg-to-int crashes/creduce_bug_172279.cc

Testing template-non-type-arg-to-int on crashes/creduce_bug_172279.cc ...
Available instances[12]
Running transformation[template-non-type-arg-to-int] on crashes/creduce_bug_172279.cc ...
  increasing counter[1] ...[SUCCESS]
  increasing counter[2] ...[SUCCESS]
  increasing counter[3] ...[SUCCESS]
  increasing counter[4] ...[SUCCESS]
  increasing counter[5] ...[SUCCESS]
  increasing counter[6] ...[SUCCESS]
  increasing counter[7] ...[SUCCESS]
  increasing counter[8] ...[SUCCESS]
  increasing counter[9] ...[SUCCESS]
  increasing counter[10] ...[SUCCESS]
  increasing counter[11] ...[SUCCESS]
  increasing counter[12] ...[SUCCESS]

Test Results:

Transformation results:
  transformation[template-non-type-arg-to-int]: All instances suceeded!

- Yang

On 10/14/2015 01:13 PM, Ryan Burn wrote:
These are the messages I got and the output files are attached:

OOPS: pass_clang::template-non-type-arg-to-int failed to

modify the test case, which means you have

encountered a bug in C-Reduce. Please consider

mailing /home/rnburn/bugs/overload_concept_bug4/creduce_bug_172279 to

creduce-bugs@flux.utah.edu and we will try to fix

the bug. Please also let us know what version of

C-Reduce you are using and include any other

details that may help us reproduce the problem.


=======================================


(96.6 %, 39336 bytes)



=======================================


OOPS: pass_clang::template-non-type-arg-to-int failed to

modify the test case, which means you have

encountered a bug in C-Reduce. Please consider

mailing /home/rnburn/bugs/overload_concept_bug4/creduce_bug_656031 to

creduce-bugs@flux.utah.edu and we will try to fix

the bug. Please also let us know what version of

C-Reduce you are using and include any other

details that may help us reproduce the problem.