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

[csmith-project/csmith] df982f: fix a bug in selecting union arrays



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

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

  Changed paths:
    M src/ReducerOutputMgr.cpp
  M src/VariableSelector.cpp

  Log Message:
  -----------
  fix a bug in selecting union arrays

this fixes the generation time crash seen for seed 295164083


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

  Changed paths:
    M src/StatementArrayOp.cpp

  Log Message:
  -----------
  avoid using diff. union fields as IVs of the same loop

writing to one union field actually is a write to another field. consider write-after-write conflict in this scenario. This fixes the run time crash seen for seed 295164083


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

  Changed paths:
    M src/AbsRndNumGenerator.cpp
  M src/CrestExtension.cpp
  M src/DeltaMonitor.cpp
  M src/DepthSpec.cpp
  M src/FunctionInvocationBinary.cpp
  M src/FunctionInvocationUnary.cpp
  M src/SafeOpFlags.cpp
  M src/StatementAssign.cpp
  M src/Type.cpp

  Log Message:
  -----------
  Merge branch 'master' of github.com:csmith-project/csmith


Compare: https://github.com/csmith-project/csmith/compare/4345387...b812211