Skip to content

PVS of InSetOfValue >>s ConstantValue not calculated #7459

New issue
New issue
Closed
Enhancement
Closed
PVS of InSetOfValue >>s ConstantValue not calculated#7459
Enhancement
Labels
Component: CoreIssue needs changes to the coreCore: DataflowRelated to the Possible Value Set and Register Value systemsEffort: LowIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaround
Milestone
Jotunheim
@xusheng6

Description

@xusheng6
xusheng6
opened on Oct 4, 2025

Database: adaptive elder steps equally

In the following code, arg_8 has a PVS of InSetOfValue, yet the PVS of the result is not correctly calculated:

Image 
>>> current_il_instruction.src.left.left.possible_values
<in set([0x7f5b, 0x7f5c])>
>>> current_il_instruction.src.left.possible_values
<undetermined>

Metadata

Metadata

Assignees

No one assigned

    Labels

    Component: CoreIssue needs changes to the coreCore: DataflowRelated to the Possible Value Set and Register Value systemsEffort: LowIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaround

    Type

    Enhancement

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions