Lines Matching full:intersection
1175 // Computes the intersection of two contexts. The intersection is the
1206 // This routine also takes the intersection of C1 and C2, but it does so by
1230 // At join points in the CFG, the set is computed as the intersection of
1241 // algorithm. Those definitions that remain in the intersection are from blocks
2053 /// \brief Compute the intersection of two locksets and issue warnings for any
2059 /// are the same. In the event of a difference, we use the intersection of these
2237 // block to be the intersection of all previous locksets.
2238 // FIXME: By keeping the intersection, we may output more errors in future
2239 // for a lock which is not in the intersection, but was in the union. We
2241 // the intersection contains Mutex L, and the union contains L and M.
2245 // In this case, we should compare against the intersection instead of the
