Code

Refactor writing to pointers#1531

Code

Draft

karoliineh wants to merge 9 commits intomastergoblint/analyzer:masterfrom base_set_foldgoblint/analyzer:base_set_foldCopy head branch name to clipboard

+24-32

Commits

Commits on Jun 28, 2024

• Remove deadcode that catches SetDomain.Unsupported

  karoliineh

  committed
  9485208

  Copy full SHA for 9485208

• Replace complicated set logic with simplified AD.fold

  karoliineh

  committed
  65e1ccc

  Copy full SHA for 65e1ccc

• Make update_one case handling explicit

  karoliineh

  committed
  87a979a

  Copy full SHA for 87a979a

Commits on Jul 1, 2024

• Assert that the set of lvals is not empty when written to

  karoliineh

  committed
  c4d96e8

  Copy full SHA for c4d96e8

• Do not remove NullPtr-s from address sets

  karoliineh

  committed
  c7199a0

  Copy full SHA for c7199a0

• Add stdlib.h for correctly importing strtol

  karoliineh

  committed
  7816bed

  Copy full SHA for 7816bed

• Fix 17-per_elem_simp: nowarn -> norace

  karoliineh

  committed
  7d87b35

  Copy full SHA for 7d87b35

• Do not remove UnknownPtr from address set before running reachable_vars

  karoliineh

  committed
  a30fbfc

  Copy full SHA for a30fbfc

Commits on Aug 16, 2024

• Use sem.null-pointer.dereference option for writing as well

  karoliineh

  committed
  6843784

  Copy full SHA for 6843784