Code

two further clang builtins#2698

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

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

Aug 18, 2018

Commits

Commits on Aug 17, 2018

• implement clang's builtin_convertvector

  

  Daniel Kroening

  committed
  aa1de84

  Copy full SHA for aa1de84

• add clang's __builtin_ia32_undefX and __builtin_nontemporal_store and __builtin_nontemporal_load

  

  Daniel Kroening

  committed
  cb090bf

  Copy full SHA for cb090bf