Lines Matching defs:JoinDifferent

5672       bool JoinDifferent = Cond ? B1 : B2;
5685         auto &JoinDifferent =
5686             getValueForDecl<BoolValue>(ASTCtx, Env, "JoinDifferent");
5691             Env.arena().makeEquals(JoinDifferent.formula(), B1.formula());
5696             Env.arena().makeEquals(JoinDifferent.formula(), B2.formula());
5706       int &JoinDifferent = Cond ? I1 : I2;
5719         StorageLocation &JoinDifferent =
5720             getLocForDecl(ASTCtx, Env, "JoinDifferent");
5724         EXPECT_NE(&JoinDifferent, &I1);
5725         EXPECT_NE(&JoinDifferent, &I2);