Skip to content

static.rwset counts the emitter's where-mask temporaries as target-only names #19

Description

@chenyueqi

new_pdf's sort_roots is a nested where / elsewhere over roots(:,1..3). The translation introduces mask temporaries _we0_1 and _wn; static.rwset reports 1/45 blocks disagree: sort_roots/B001 with reads_target_only: ['_we0_1', '_wn'] and the same in writes. Names the emitter introduces (underscore-prefixed temporaries) are not source names and should be excluded from the comparison, as the protocol already does for stub and companion aliases.

Found 2026-09-03 running the recast-clubb extension's tier-0 units (CLUBB_core of larson-group/clubb_release at 8ab3902, double precision, statistics off).

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:verifierthe gates: static.rwset, differential.bitexact/tolerance, oraclesbugSomething isn't workingfixed-in-prfixed on a branch, awaiting the PR's mergefound-by:clubbsurfaced by the recast-clubb extension on CLUBB_core

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions