Module FlowVar_internal

Holds if all read accesses of v are dominated by an overwrite of v.

Holds if v is modified through va as a side effect of evaluating node, receiving a value best described by assignedExpr. Assignment-like operations are those that desugar to a non-overloaded = assignment: =, +=, ++, --, etc.

Holds if sbb is the SubBasicBlock where v receives its initial value. See the documentation for FlowVar.definedByInitialValue.

Holds if va accesses v and is dominated by an overwrite of v.

For various reasons, not all variables handled perfectly by the SSA library. Ideally, this predicate should become larger as the SSA library improves. Before we can remove the BlockVar class completely, the SSA library needs the following improvements. - Considering uninitialized local variables to be definitions. - Supporting fields, globals and statics like the Java SSA library does. - Supporting all local variables, even if their address is taken by address-of, reference assignments, or lambdas. - Understanding that assignment to a field of a local struct is a definition of the struct but not a complete overwrite. This is what the IR library uses chi nodes for.

Gets a basic block in which v is overwritten.

Holds if v is initialized to have value assignedExpr.

Holds if va may be an uninitialized access to v.

Holds if v has not been accessed at the start of bb, for a variable v where allReadsDominatedByOverwrite(v) does not hold.

Holds if the value of the variable accessed at va is completely overwritten at node, where va is uniquely determined by node.

Holds if p is a parameter to a constructor that is used in a ConstructorFieldInit at va. This ignores the corner case that p might have been overwritten to have a different value before this happens.

Holds if the value of the variable accessed at va may affect the execution of the program.

Holds if loop always assigns to v before leaving through an edge from bbInside in its condition to bbOutside outside the loop. Also, v must be used outside the loop.

A for-loop or while-loop whose condition is always true upon entry but not always true after the first iteration.

A variable whose analysis is backed by a simple control flow analysis that does not perform as well as the SSA library but gives better results for data flow purposes in some cases.

A point in a basic block where a non-SSA variable may have a different value than it did elsewhere in the same basic block. Extending this class configures the SubBasicBlocks library as needed for the implementation of this library.

A variable whose analysis is backed by the SSA library.

A local variable that is uninitialized immediately after its declaration.