Searched refs:any_read (Results 1 – 1 of 1) sorted by relevance
149 SideEffects any_read = in TEST() local152 EXPECT_FALSE(volatile_write.MayDependOn(any_read)); in TEST()153 EXPECT_TRUE(any_read.MayDependOn(volatile_write)); in TEST()157 EXPECT_FALSE(volatile_read.MayDependOn(any_read)); in TEST()158 EXPECT_TRUE(any_read.MayDependOn(volatile_read)); in TEST()