[csmith-project/csmith] b138a4: Start a new branch for floating point work

[John Regehr <regehr@cs.utah.edu>]

  Branch: refs/heads/master
  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.


  Commit: d69927c63879ea925de558c62c73fc296a98967d
      https://github.com/csmith-project/csmith/commit/d69927c63879ea925de558c62c73fc296a98967d
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-20 (Sat, 20 Sep 2014)

  Changed paths:
    M runtime/safe_math.m4
    M src/OutputMgr.cpp

  Log Message:
  -----------
  add safe_float functions

* modified versions of safe_float functions suggested by Pascal

* include float.h when --float is passed

* should have mentioned in previous commit: floating point support
is disabled by default, passing --float to enable it


  Commit: 51197eca71b717fac19a9bbaeeb1f07d5c413545
      https://github.com/csmith-project/csmith/commit/51197eca71b717fac19a9bbaeeb1f07d5c413545
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-21 (Sun, 21 Sep 2014)

  Changed paths:
    M src/OutputMgr.cpp

  Log Message:
  -----------
  Silly bug fix

include float.h and math.h when floating point support is enabled


  Commit: 5dc6c96582389521a7c37d3fa8f8320bf6341a35
      https://github.com/csmith-project/csmith/commit/5dc6c96582389521a7c37d3fa8f8320bf6341a35
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-21 (Sun, 21 Sep 2014)

  Changed paths:
    M src/FunctionInvocation.cpp
    M src/FunctionInvocationBinary.cpp
    M src/FunctionInvocationBinary.h
    M src/FunctionInvocationUnary.cpp
    M src/SafeOpFlags.cpp
    M src/SafeOpFlags.h
    M src/StatementAssign.cpp
    M src/StatementAssign.h
    M src/StatementFor.cpp
    M src/Type.cpp

  Log Message:
  -----------
  probably works now

need more testing


  Commit: 6677b4e1aab60058567030e391e8fbffe76abde5
      https://github.com/csmith-project/csmith/commit/6677b4e1aab60058567030e391e8fbffe76abde5
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-21 (Sun, 21 Sep 2014)

  Changed paths:
    M src/Function.cpp

  Log Message:
  -----------
  removed an useless constraint on choose_fun

since we changed is_convertable in Type.cpp, this constraint is no longer needed now


  Commit: bc4444e785c8548da42919f00ff54b8594b372af
      https://github.com/csmith-project/csmith/commit/bc4444e785c8548da42919f00ff54b8594b372af
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-21 (Sun, 21 Sep 2014)

  Changed paths:
    M runtime/safe_math.m4

  Log Message:
  -----------
  use FLT_MAX in safe_float functions


  Commit: 0aaafbf811d29989f3b6667aae73c520bb10ad55
      https://github.com/csmith-project/csmith/commit/0aaafbf811d29989f3b6667aae73c520bb10ad55
  Author: Yang Chen <chenyang@cs.utah.edu>
  Date:   2014-09-22 (Mon, 22 Sep 2014)

  Changed paths:
    M runtime/safe_math.m4

  Log Message:
  -----------
  new safe_float_math function provided by Pascal


  Commit: e7c69cb0d27a3cd1bbe77f19ccbae1362aa10803
      https://github.com/csmith-project/csmith/commit/e7c69cb0d27a3cd1bbe77f19ccbae1362aa10803
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2014-09-30 (Tue, 30 Sep 2014)

  Changed paths:
    M runtime/safe_math.m4
    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/FunctionInvocationBinary.cpp
    M src/FunctionInvocationBinary.h
    M src/FunctionInvocationUnary.cpp
    M src/Lhs.cpp
    M src/OutputMgr.cpp
    M src/Probabilities.cpp
    M src/Probabilities.h
    M src/RandomProgramGenerator.cpp
    M src/SafeOpFlags.cpp
    M src/SafeOpFlags.h
    M src/StatementArrayOp.cpp
    M src/StatementAssign.cpp
    M src/StatementAssign.h
    M src/StatementFor.cpp
    M src/Type.cpp
    M src/Type.h
    M src/VariableSelector.cpp

  Log Message:
  -----------
  Merge branch 'floating-point'


  Commit: 0c5334c2c3cd80bf6a6c787fddeb828af7e1be1c
      https://github.com/csmith-project/csmith/commit/0c5334c2c3cd80bf6a6c787fddeb828af7e1be1c
  Author: John Regehr <regehr@cs.utah.edu>
  Date:   2014-09-30 (Tue, 30 Sep 2014)

  Changed paths:
    M driver/evaluate_program
    M driver/random_test
    M runtime/csmith.h

  Log Message:
  -----------
  driver stuff


Compare: https://github.com/csmith-project/csmith/compare/90d17a58c6c0...0c5334c2c3cd