[csmith-project/csmith] 0c1040: extend heterogeneous initialization to arrays of a...

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

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

  Commit: 0c10406ff3bc8f60df9974811ac5bbe9d5fd7fdf
      https://github.com/csmith-project/csmith/commit/0c10406ff3bc8f60df9974811ac5bbe9d5fd7fdf
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-08-02 (Tue, 02 Aug 2011)

  Changed paths:
    M src/ArrayVariable.cpp
  M src/ArrayVariable.h
  M src/Block.cpp
  M src/ExpressionAssign.cpp
  M src/Fact.cpp
  M src/Fact.h
  M src/FactMgr.cpp
  M src/FactMgr.h
  M src/FactPointTo.cpp
  M src/FactPointTo.h
  M src/FactUnion.cpp
  M src/FactUnion.h
  M src/FunctionInvocationUser.cpp
  M src/Statement.cpp
  M src/StatementArrayOp.cpp
  M src/StatementAssign.cpp
  M src/StatementFor.cpp
  M src/StatementGoto.cpp
  M src/StatementReturn.cpp
  M src/VariableSelector.cpp

  Log Message:
  -----------
  extend heterogeneous initialization to arrays of any type

1) enhance points-to analysis to recognize may-points-to relationships established by array initializers

2) clean up methods and unused member variables in Fact and FactMgr classes. Changes some global function to class-static functions to better
modularize the code


  Commit: 01a938403c2f5ef1120dd21f63250bcbeeb7d31d
      https://github.com/csmith-project/csmith/commit/01a938403c2f5ef1120dd21f63250bcbeeb7d31d
  Author: Xuejun Yang <jxyang@cs.utah.edu>
  Date:   2011-08-02 (Tue, 02 Aug 2011)

  Changed paths:
    M src/Lhs.cpp
  M src/Lhs.h
  M src/StatementAssign.cpp

  Log Message:
  -----------
  fix a bug in creating compound assignment when LHS is union field

also fix a typo in previous commit


Compare: https://github.com/csmith-project/csmith/compare/6e2e224...01a9384