Re: [csmith-dev] Strict Aliasing and Csmith

[John Regehr <regehr@cs.utah.edu>]

Hi Alex, I believe Csmith is intended to respect the strict aliasing 
constraints, but since we never had a checker for finding violations of 
these constraints, it seems highly possible that we messed this up. If 
you give us instructions for reproducing a problem, we can look into it 
more.

John



On 9/17/20 8:45 AM, Alex Coplan wrote:
> Hello,
>
> Firstly, I wanted to say thank you for Csmith. I started using it
> yesterday and it's already found a few ICEs on GCC trunk:
>
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97079
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97085
>
> I have a quick question: is Csmith expected to produce code that's free
> of strict aliasing violations?
>
> I've run into a couple of instances where I believe it's produced strict
> aliasing violations and I was wondering whether this was expected or
> not.
>
> Thanks,
> Alex