Module may_alias 

May-alias query packed as a bitset.

Build a may-alias Program:

use weir::may_alias::may_alias;

let program = may_alias(4, "pts_p", "pts_q", "scratch", "out");

may_alias - Andersen-style may-alias query packed as a bitset.

Given two pointer expressions p and q, return 1 iff their points-to sets overlap (pts(p) ∩ pts(q) ≠ ∅). Implementation: per-node bitset AND of pts(p) and pts(q), then any-reduce.

Soundness: MayOver.

Structs

MayAlias

Soundness marker for may_alias.

Functions

may_alias

Build a may-alias Program. Inputs: