CodeQL library for Swift
codeql/swift-all 2.0.2 (changelog, source)
Search

Module signature TypeTracking::ConsistencyChecksInputSig

Import path

import codeql.typetracking.internal.TypeTrackingImpl

Predicates

nonSourceStoreTargetExclude

Holds if n should be excluded from the consistency test nonSourceStoreTarget.

unreachableNodeExclude

Holds if n should be excluded from the consistency test unreachableNode.