Module Make

Provides guards-related predicates and classes.

Import path

import codeql.controlflow.Guards

GuardValue	An abstract value that a `Guard` may evaluate to.
PreGuard	A guard. This may be any expression whose value determines subsequent control flow. It may also be a switch case, which as a guard is considered to evaluate to either true or false depending on whether the case matches.

Provides the Guard class with suitable ‘controls’ predicates augmented with logical implications based on SSA.

Location		LocationSig
Cfg		CfgSig<Guards::Make::Location>
Input		InputSig<Make::Location, Make::Cfg::ControlFlowNode, Make::Cfg::BasicBlock>