Re: [creduce-bugs] C-Reduce bug

[Yang Chen]

Hi Bruno,

Thanks for the bug report.

Looks like pass_line got stuck. John might be able to look into this if 
he gets some time. Thanks.


- Yang

On 10/27/20 8:05 AM, Bruno Richard wrote:


Hi,

Please find attached a tarred file that gets C-Reduce stuck forever.

If you can fix it, just great!

Best Regards,

--

Bruno Richard, PhD.

MathWorks – Tel.: +33 4 85 88 50 37

Re: [creduce-bugs] C-Reduce bug

[Eric Eide]

Bruno Richard  writes:

> Please find attached a tarred file that gets C-Reduce stuck forever.
> If you can fix it, just great!

Thank you for your bug report!

This is just a quick reply to say that we received your report, and to tell you
that I've whitelisted your email address for the creduce-bugs mailing list.
This means that any future bug reports from you will not need to be moderated.

Thanks again ---

Eric.

-- 
---
Eric Eide   . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX

Re: [creduce-bugs] C-Reduce Bug Report

[Yang Chen]

Hi Moritz,

Thanks for reporting the issue!

I think it was fixed in the current Git head:

$ ./clang_delta --transformation=param-to-global --counter=3 md5.c > 
/dev/null ; echo $?


0
$ clang_delta --transformation=param-to-local --counter=3 md5.c > 
/dev/null ; echo $?

0

- Yang

On 07/05/2018 04:49 AM, Moritz Contag wrote:

--transformation=param-to-global --counter=3 md5.c

[creduce-bugs] C-Reduce Bug Report

[Moritz Contag]

To whom it may concern,

The attached source file fails for the following invocations when compiling
for Intel x86-64:

"/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=param-to-global
--counter=3 md5.c
"/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=param-to-local
--counter=3 md5.c

Best,
Moritz
 typedef struct {
   unsigned char digest[16];
}
MD5_CTX;
 
#define II0 \
  }
 static void MDPrint (mdContext) MD5_CTX *mdContext;
{
 int i;
  for (i = 0;
   i < 16;
   i++) printf ("%02x", mdContext->digest[i]);
   }
  static void MDString (inString) char *inString;
{}
  static void MDFilter () {
 MD5_CTX mdContext;
 MDPrint (&mdContext);
   }
 __attribute__(()) int main (argc, argv) int argc;
char *argv[];
{
 int i;
 if (argc == 1) MDFilter ();
 else for (i = 1;
   i < argc;
   i++)   if (argv == '-' && argv == 's') ;
   }

Re: [creduce-bugs] C-Reduce bug

[Yang Chen]

Hi Alexey,

Thanks for the report! This issue has been fixed on top of the Git head.

- Yang

On 2018-03-02 06:34, Aleksejs Zajakins wrote:

Please see the attached archive for details generated by C-Reduce
while reducing a C++ source.

Best regards,
Alexey

[creduce-bugs] C-Reduce bug

[Aleksejs Zajakins]

Please see the attached archive for details generated by C-Reduce while 
reducing a C++ source.

Best regards,
Alexey


creduce_bug_000.tar
Description: creduce_bug_000.tar