[csmith-project/csmith] fc4348: 1) Enhanced Points-to analysis and read/write anal...

[jxyang <nitsnow@gmail.com>]

  Branch: refs/heads/csmith-extendable
  Home:   https://github.com/csmith-project/csmith
  Commit: fc4348682e0fe8079c69dac1d240549f0d8d339b
      https://github.com/csmith-project/csmith/commit/fc4348682e0fe8079c69dac1d240549f0d8d339b
  Author: jxyang <nitsnow@gmail.com>
  Date:   2015-06-29 (Mon, 29 Jun 2015)

  Changed paths:
    M scripts/validate_test_suite.pl
    M src/CGContext.cpp
    M src/Effect.cpp
    M src/Expression.cpp
    M src/Expression.h
    M src/FactMgr.cpp
    M src/FactMgr.h
    M src/FactPointTo.cpp
    M src/FactPointTo.h
    M src/Function.cpp
    M src/FunctionInvocation.cpp
    M src/FunctionInvocationUser.cpp
    M src/FunctionInvocationUser.h
    M src/Lhs.cpp
    M src/Lhs.h
    M src/Parameter.cpp
    M src/Parameter.h

  Log Message:
  -----------
  1) Enhanced Points-to analysis and read/write analysis to support parameters with output/reference mode
2) Added a fake builtin function with in/out parameters
3) For parameters with output mode, generate variable expressions for them as the actual arguments
4) Various code cleanup and commenting
5) Make validate_test_suite.pl run to the end even if there are failures.