Code

Pointer cast#1564

Code

Merged

mergify[bot] merged 10 commits intomasterGaloisInc/saw-script:masterfrom pointer-castGaloisInc/saw-script:pointer-castCopy head branch name to clipboardFeb 9, 2022

+351-124

Commits

Commits on Feb 9, 2022

• Add the ability to cast pointer setup values in LLVM setup blocks.

  Show description for 123b498
  robdockins

  committed
  123b498

  Copy full SHA for 123b498

• Refactor the "ResolvedState".

  Show description for e89b654
  robdockins

  committed
  e89b654

  Copy full SHA for e89b654

• Allow pointer casts to participate in the "resolved value" check.

  Show description for f9e6c2e
  robdockins

  committed
  f9e6c2e

  Copy full SHA for f9e6c2e

• Fix crux-mir-comp builds

  robdockins

  committed
  2ec1076

  Copy full SHA for 2ec1076

• Better type resolution for pointer casts.

  Show description for b269abe
  robdockins

  committed
  b269abe

  Copy full SHA for b269abe

• Delay the resolution of casts so that llvm_pointer_cast can be a pure function,

  Show description for cda04b1
  robdockins

  committed
  cda04b1

  Copy full SHA for cda04b1

• Unit test for llvm_pointer_cast to navigate union types.

  robdockins

  committed
  31ed099

  Copy full SHA for 31ed099

• Address code review comments

  robdockins

  committed
  a6e34df

  Copy full SHA for a6e34df

• Update CHANGES and manual

  robdockins

  committed
  db5baec

  Copy full SHA for db5baec

• Add hooks to the SAW remote API for the new pointer cast operation.

  Show description for a946a91
  robdockins

  committed
  a946a91

  Copy full SHA for a946a91