Re: [csmith-project/csmith] 9c027e: don't hash an union field when such a read is unsa...

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

This patch has fixed the vast majority of false bugs found by recent Csmith 
versions.

John




On 06/28/2011 10:06 PM, Xuejun Yang wrote:
>    Branch: refs/heads/master
>    Home:   https://github.com/csmith-project/csmith
>
>    Commit: 9c027e5f3382e4da2b81ebd668fffcb6172acadc
>        https://github.com/csmith-project/csmith/commit/9c027e5f3382e4da2b81ebd668fffcb6172acadc
>    Author: Xuejun Yang<jxyang@cs.utah.edu>
>    Date:   2011-06-28 (Tue, 28 Jun 2011)
>
>    Changed paths:
>      M src/FactUnion.cpp
>    M src/FactUnion.h
>    M src/Variable.cpp
>
>    Log Message:
>    -----------
>    don't hash an union field when such a read is unsafe
>
> A unsafe read is either use without initialization or loading of possible padding bits