Code

gcc floating-point builtins#2223

Code

Merged

kroening merged 5 commits intodevelopdiffblue/cbmc:developfrom

fp-builtinsdiffblue/cbmc:fp-builtinsCopy head branch name to clipboard

May 22, 2018

Commits

Commits on May 22, 2018

• added typecast_exprt::conditional_cast

  

  Daniel Kroening

  committed
  61af061

  Copy full SHA for 61af061

• fix return types of various __builtin_is* functions

  

  Daniel Kroening

  committed
  87d467e

  Copy full SHA for 87d467e

• added __builtin_isinf_sign

  

  Daniel Kroening

  committed
  83aeddd

  Copy full SHA for 83aeddd

• add __builtin_isnormal

  

  Daniel Kroening

  committed
  a69c603

  Copy full SHA for a69c603

• test __builtin_isinf, __builtin_isinf_sign, __builtin_isnormal

  

  Daniel Kroening

  committed
  72a0379

  Copy full SHA for 72a0379