[csmith-project/csmith] 498f30: add command line options "union-read-type-sensitiv...

[Xuejun Yang <jxyang@cs.utah.edu>]

  Branch: refs/heads/master
  Home:   https://github.com/csmith-project/csmith

  Commit: 498f306e1bab3c0c28b3653b02a1e204c3c963c8
      https://github.com/csmith-project/csmith/commit/498f306e1bab3c0c28b3653b02a1e204c3c963c8
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-06-22 (Wed, 22 Jun 2011)

  Changed paths:
    M src/CGOptions.cpp
  M src/CGOptions.h
  M src/FactUnion.cpp
  M src/FactUnion.h
  M src/RandomProgramGenerator.cpp

  Log Message:
  -----------
  add command line options "union-read-type-sensitive" and "no-union-read-type-sensitive"

"union-read-type-sensitive" allow reading union fields when there is no risk of reading padding bits, e.g, writing to an integer field and then reading a char field of the same union variable. When this is disabled, Csmith follows C99 strictly, that is, only read the union field that is last written into