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

Re: [csmith-dev] Strict Aliasing and Csmith

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.


On 9/17/20 8:45 AM, Alex Coplan wrote:

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:


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