[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