[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] union-to-struct has encountered a bug - v2.11
- To: Robins Tharakan <tharakan@gmail.com>
- Subject: Re: [creduce-bugs] union-to-struct has encountered a bug - v2.11
- From: Eric Eide <eeide@cs.utah.edu>
- Date: Sun, 16 Mar 2025 10:18:27 -0600
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=utah.edu; dmarc=pass action=none header.from=cs.utah.edu; dkim=pass header.d=cs.utah.edu; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=14u3U54HXxRir28MQNbFpiFeP023MJ2lMY1oEy8FSao=; b=abs87SkcpB+v5EJKlo+hDncA33he44fwQDKQB0ouoOBY7oOs1KvAJoBiciBN653A8qiRgZkCC8kG0wK71Zb3AsSFICiZf9+AzeXkcxevavzASDdNozm2OU4pc3rXgMNNrsEFj6R8gN+JmjbE9+pXyaWZ5ZcsgZDWQB/Nf/BBKfiju0SOp7ZteolhUGR/RUF0pp50jz2ZW/2UbuPSt7ua3EJ5Ai+Ytt2kbQIU8HUrGAE+u0oXGDRSlmXJG8wMmxdDZW5XQo4VDv7GZ5/5aAWa18Ct1dhBdNMm2C7Tmr2zQfrL0hLYfLg76OwEKCMTbBDKQVcfkvm4Gj4OCcW5sZ9wwQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=EdaSVC8D8HWVeri2AdqHmniu117/b0jR4CCMLOKzdfERU6RdAH3+IUvaRfyJPGVMXvdLYN0feH+zJcuNYUB/adkw7fB3igZtUmcdfTxjVoJ3D7eyjDKTdY/Lih8pgbC2JU6d6GEYgGWDICvD0dTiywTihNd+7Lf2sEXxPz1TH1Kwg6lvYvfgxlPVQ41pV803hqW8CYSfVCSxAzudGhyYIy8m5VwwaKv6G3mXvkdpWOVCh+iLhz1c+h8NXn70QCE3boxcnDGYjWoTBe6RG88IaCuZ8fDFuf7o1/pea5XHDSXjA0XnBsPzj67eXAqHv7pAii2AKTudPUqjh8tXJdOSlg==
- Authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=cs.utah.edu;
- Cc: C-Reduce Bugs Mailing List <creduce-bugs@flux.utah.edu>
- Dkim-signature: v=1; a=rsa-sha256; c=simple/simple; d=utah.edu; i=@utah.edu; q=dns/txt; s=UniversityOfUtah; t=1742141917; x=1773677917; h=from:to:cc:subject:in-reply-to:references:date: message-id:mime-version; bh=p7b5EF+nGQl87si88FEXaZQ7LEvbDdvVePQlUH4IHQ8=; b=QQi9rQrmMCLUqw238C13XbI0AIYjT9idDZzR8Bb3fM9YSpibXGZ1MQB7 Ed9tIaads/wuZzHJ/maK3n035IVgiTzqT/UdScvBw/kiMxI/widWbfyj7 1OaDUYBqXl3wDYNR7Q9kP341fSPosJM9VwUBKi77jEiz399q0uqumjCse Ftmc3RqN7DfM9JmX+bEOVmY2D8SEtiAsW7zpoxMX7Owv+knK85fT6iIkP 6JaLZjEtCWK5H2vo7xVL7VT5lo8BsGfhItU88xyv/Ar8V1I2DZu8FViH7 fi1V50/OfGPXv7La7ea7yZfMOo+S/OEGFCta8JgIb6Zm6hZZbwEpy9/n+ Q==;
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=UofUtah.onmicrosoft.com; s=selector2-UofUtah-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=14u3U54HXxRir28MQNbFpiFeP023MJ2lMY1oEy8FSao=; b=EUZNaKBozFYhp3XD5FZhq5PyXN1z2dIBLFZ7aSRLKHrk3QkIQrgOu9mRTuEi7yXx4KX366jSq63q34rJrGx4JoRGEd4/rCNGnnmYjURzllRpJ9fxt2WdvGy1+8tKUyN1YixMF3rKWgATtms2uL8c0tOKEHOW1bFkZQRB7HvN7hE=
- In-reply-to: <CAEP4nAzxtJCcUPF8gic9tRHdQq7mTRvPnBvVupmMUHRxuJ94Ug@mail.gmail.com> (Robins Tharakan's message of "Sun, 16 Mar 2025 22:05:42 +1030")
- List-archive: </listarchives/creduce-bugs>
- List-help: <mailto:creduce-bugs-request@flux.utah.edu?subject=help>
- List-id: C-Reduce Bugs Mailing List <creduce-bugs.flux.utah.edu>
- List-post: <mailto:creduce-bugs@flux.utah.edu>
- List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=subscribe>
- List-unsubscribe: <http://www.flux.utah.edu/mailman/options/creduce-bugs>, <mailto:creduce-bugs-request@flux.utah.edu?subject=unsubscribe>
- References: <CAEP4nAzxtJCcUPF8gic9tRHdQq7mTRvPnBvVupmMUHRxuJ94Ug@mail.gmail.com>
- User-agent: Gnus/5.13 (Gnus v5.13)
Robins Tharakan <tharakan@gmail.com> writes:
> Sending in a bug-report for v2.11 - as per the message received on the
> console.
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 <eeide@cs.utah.edu> . University of Utah Kahlert School of Computing
https://www.cs.utah.edu/~eeide/ . +1 801-585-5512 . Salt Lake City, Utah, USA