[csmith-project/csmith] c3fe5f: fix a bug in analyzing effect conflicts of union f...

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

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

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

  Changed paths:
    M src/ArrayVariable.cpp
  M src/CGContext.cpp
  M src/Effect.cpp
  M src/FactPointTo.cpp
  M src/FactUnion.cpp
  M src/Variable.cpp
  M src/Variable.h
  M src/VariableSelector.cpp

  Log Message:
  -----------
  fix a bug in analyzing effect conflicts of union fields

* avoid writing to a field of a struct which is inside an union when loop iv is another field of the union
* manually sort the vector retrieved from hash table iv_bounds so that random output is the same regardless the implementation of std::map
* clean up a little