Skip to content

A public generic interface whose specifics are private leaves nothing to gate #17

Description

@chenyueqi

tridiag_lu_solver and penta_lu_solver in CLUBB_core export only a generic (public :: tridiag_lu_solve; interface tridiag_lu_solve over three private specifics). f2py-golden-flat reports no subprogram the flat wrapper can spell; with an empty reason list because it only considers public subprograms and the specifics are private. The specifics of a public generic are reachable through the generic and should be gate-visible (either the frontend marks them public-via-generic, or the oracle and the gate resolve the generic to its specifics).

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:frontendFortran parsing, interface extraction, constant foldingarea: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