dfa_standard_update: Standard Update for Data Flow Analyses

In nick-ulle/ast: Low-level Static Analysis Tools for R Code

Standard Update for Data Flow Analyses

Description

This function computes the standard update set for data flow analyses. The standard update set is the result set less the kill set, all unioned with the gen set.

Usage

dfa_standard_update(result, gen, kill, ...)

Arguments

result	The result set for the current block.
gen	The gen set for the current block.
kill	The kill set for the current block.
...	Additional optional arguments to the update function.

Value

The update set for the next block.

nick-ulle/ast documentation built on May 14, 2024, 7:40 p.m.