BitcodeFunctionEndpoint

data class BitcodeFunctionEndpoint(val kind: BitcodeFunctionEndpointKind, val parameterIndex: Int? = null, val memory: BitcodeMemorySource? = null, val memberPath: List<String> = emptyList(), val parameterName: String? = null, val arrayCountPath: List<String> = emptyList(), val constant: BitcodeScalarConstant? = null, val arrayElements: Boolean = false, val eachElementPath: List<String>? = null, val indexedElement: BitcodeIndexedElement? = null, val globalSymbol: String? = null)

One source-level C++ function endpoint, independent of hidden LLVM ABI arguments.

Constructors

constructor(kind: BitcodeFunctionEndpointKind, parameterIndex: Int? = null, memory: BitcodeMemorySource? = null, memberPath: List<String> = emptyList(), parameterName: String? = null, arrayCountPath: List<String> = emptyList(), constant: BitcodeScalarConstant? = null, arrayElements: Boolean = false, eachElementPath: List<String>? = null, indexedElement: BitcodeIndexedElement? = null, globalSymbol: String? = null)

Count field relative to the same parameter/receiver; array layout comes from compiler metadata.

Join possible array-element facts with a symbolic read; the count only bounds that read.

Corresponding fixed-array elements; non-null selects an element member (empty selects the scalar element).

Exact LLVM linkage name of an existing global object; selects its address, not its stored value.

One fixed-array element selected by an integer parameter; a read-only endpoint selector.

Named embedded members, optionally with fixed array indices; compiler types supply layout and bounds.

Explicit pointed-to input memory; null denotes the existing parameter/receiver endpoint.

Exact source parameter name from compiler debug metadata; mutually exclusive with parameterIndex.