parquet_debug_random_uses_safe64 Function

public pure function parquet_debug_random_uses_safe64() result(r)

Reports whether the OVERFLOW-FREE 64-bit arm was compiled. Test-only.

Public for the same reason as parquet_debug_random_uses_int128, and it exists because that one alone can no longer name the arm: the fork has three sides, and both PF_SAFE64 and the wrapping arm answer .false. there. Without this, tools/check_random_kernels.sh would label a PF_SAFE64 build "wrapping" and its vacuity guard would compare two arms it had mis-identified -- reporting that it had exercised both when it had exercised one twice.

The two are mutually exclusive by construction (#elif), so .true. here implies .false. there; a build where both answer .true. is impossible and would mean the fork was edited into overlapping conditions.

Arguments

None

Return Value logical

.true. if the overflow-free arm was compiled


Source Code

    pure function parquet_debug_random_uses_safe64() result(r)
        logical :: r                                !! `.true.` if the overflow-free arm was compiled
#ifdef PF_SAFE64
        r = .true.
#else
        r = .false.
#endif
    end function parquet_debug_random_uses_safe64