Home | History | Annotate | Download | only in analyzer

Lines Matching defs:intersection

208 symbolic_byte_range::intersection (const symbolic_byte_range &other,
211   /* If either is empty, then there is no intersection.  */
289   ASSERT_EQ (r0_9.intersection (r0, m), tristate::TS_TRUE);
290   ASSERT_EQ (r0.intersection (r0_9, m), tristate::TS_TRUE);
291   ASSERT_EQ (r0_9.intersection (r9, m), tristate::TS_TRUE);
292   ASSERT_EQ (r9.intersection (r0_9, m), tristate::TS_TRUE);
293   ASSERT_EQ (r0_9.intersection (r10, m), tristate::TS_FALSE);
294   ASSERT_EQ (r10.intersection (r0_9, m), tristate::TS_FALSE);
295   ASSERT_EQ (concrete_empty.intersection (r0_9, m), tristate::TS_FALSE);
296   ASSERT_EQ (r0_9.intersection (concrete_empty, m), tristate::TS_FALSE);
298   ASSERT_EQ (r5_9.intersection (r0, m), tristate::TS_FALSE);
299   ASSERT_EQ (r0.intersection (r5_9, m), tristate::TS_FALSE);
300   ASSERT_EQ (r9.intersection (r5_9, m), tristate::TS_TRUE);
301   ASSERT_EQ (r10.intersection (r5_9, m), tristate::TS_FALSE);
327   ASSERT_EQ (rx.intersection (ry, m), tristate::TS_UNKNOWN);
328   ASSERT_EQ (rx.intersection (concrete_empty, m), tristate::TS_FALSE);
329   ASSERT_EQ (concrete_empty.intersection (rx, m), tristate::TS_FALSE);
330   ASSERT_EQ (rx.intersection (symbolic_empty, m), tristate::TS_FALSE);
331   ASSERT_EQ (symbolic_empty.intersection (rx, m), tristate::TS_FALSE);
332   ASSERT_EQ (r0_x_minus_1.intersection (r0, m), tristate::TS_TRUE);
334   ASSERT_EQ (r0_x_minus_1.intersection (rx, m), tristate::TS_FALSE);
339   ASSERT_EQ (r0_x_minus_1.intersection (r0_y_minus_1, m), tristate::TS_TRUE);