[creduce-bugs] C-Reduce Bug Report

[Moritz Contag <mcontag@google.com>]

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')         ;
       }