Lines Matching defs:join

62 // Performs a join on either `ExprToLoc` or `ExprToVal`.
65 // performing a join for control flow within a full-expression (which is the
104   // and implement separate, join/widen specific handling for
117 /// Attempts to join distinct values `Val1` and `Val2` in `Env1` and `Env2`,
133     // of the cast). So, a join can encounter an integer in one branch but a
156     Model.join(Type, Val1, Env1, Val2, Env2, *JoinedVal, JoinedEnv);
232 // Perform a join on two `LocToVal` maps.
739   // be the result of a join or widen operation on previous values for this
740   // block. For `DeclToLoc`, `ExprToVal`, and `ExprToLoc`, join guarantees that
761 Environment Environment::join(const Environment &EnvA, const Environment &EnvB,
797   // FIXME: update join to detect backedges and simplify the flow condition