Lines Matching defs:before
59 NextAccess *before) override;
64 NextAccess *before) override;
70 NextAccess *before) override;
85 NextAccess *before) {
90 setToExitState(before);
109 setToExitState(before);
130 ChangeResult result = before->meet(after);
134 setToExitState(before);
138 result |= before->set(value, op);
140 propagateIfChanged(before, result);
146 NextAccess *before) {
162 ChangeResult result = before->meet(after);
164 result |= before->set(operand, call);
166 return propagateIfChanged(before, result);
174 (void)visitOperation(call, after, before);
177 call, action, after, before);
183 RegionBranchPoint regionTo, const NextAccess &after, NextAccess *before) {
192 static_cast<NextAccess *>(before));
194 propagateIfChanged(before, before->meet(after));