Query module Dominance

name
SSA definition does not dominate use
description
Every use of an SSA variable should be dominated by its definition.
kind
problem
problem.severity
error
id
js/sanity/non-dominating-ssa-definition
tags
sanity

Imports

javascript

Provides classes for working with JavaScript programs, as well as JSON, YAML and HTML.

Predicates

dominates

Holds if SSA definition def dominates use, which is a use of the same variable.