[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[csmith-project/csmith] b138a4: Start a new branch for floating point work
Branch: refs/heads/floating-point
Home: https://github.com/csmith-project/csmith
Commit: b138a40da6c385023567c0f9f61d46d45286f524
https://github.com/csmith-project/csmith/commit/b138a40da6c385023567c0f9f61d46d45286f524
Author: Yang Chen <chenyang@cs.utah.edu>
Date: 2014-09-20 (Sat, 20 Sep 2014)
Changed paths:
M src/ArrayVariable.cpp
M src/CGOptions.cpp
M src/CGOptions.h
M src/Constant.cpp
M src/ExpressionVariable.cpp
M src/Function.cpp
M src/FunctionInvocation.cpp
M src/FunctionInvocation.h
M src/Lhs.cpp
M src/Probabilities.cpp
M src/Probabilities.h
M src/RandomProgramGenerator.cpp
M src/StatementArrayOp.cpp
M src/StatementAssign.cpp
M src/StatementAssign.h
M src/Type.cpp
M src/Type.h
M src/VariableSelector.cpp
Log Message:
-----------
Start a new branch for floating point work
* It's based on the patch provided by Alastair Donaldson
* Don't generate floating-point operands for bit-operators
* Don't generate floating-point index for arrays
* Don't generate floating-point operands for shifts
Currently csmith is able to generate programs that can be compiled successfully, but full with
UBs caused by convertion from floating-point to integers where the floating-point value is
out of the range of integers.