Lines Matching full:intersection

647 // Computes the intersection of two contexts.  The intersection is the
674 // This routine also takes the intersection of C1 and C2, but it does so by
696 // At join points in the CFG, the set is computed as the intersection of
707 // algorithm.  Those definitions that remain in the intersection are from blocks
2197 /// Compute the intersection of two locksets and issue warnings for any
2203 /// are the same. In the event of a difference, we use the intersection of these
2404     // block to be the intersection of all previous locksets.  in runAnalysis()
2405     // FIXME: By keeping the intersection, we may output more errors in future  in runAnalysis()
2406     // for a lock which is not in the intersection, but was in the union. We  in runAnalysis()
2408     // the intersection contains Mutex L, and the union contains L and M.  in runAnalysis()
2412     // In this case, we should compare against the intersection instead of the  in runAnalysis()