Skip to content

spirv-fuzz: IdIsAvailableBeforeInstruction doesn't support unreachable blocks #3722

New issue
New issue
Closed
#3729
Closed
spirv-fuzz: IdIsAvailableBeforeInstruction doesn't support unreachable blocks#3722
#3729
Labels
component:fuzzerRelates to the spirv-fuzz tool
@Vasniktel

Description

@Vasniktel
Vasniktel
opened on Aug 18, 2020

fuzzerutil::IdIsAvailableBeforeInstruction and fuzzerutil::IdIsAvailableBeforeUse use DominatorAnalysis and domination rules are undefined for unreachable blocks.

Related to #3714 and #3713.

Metadata

Metadata

Assignees

No one assigned

    Labels

    component:fuzzerRelates to the spirv-fuzz tool

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions