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

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



  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