Lines Matching defs:BDecl

4396           const ValueDecl *BDecl = findValueDecl(ASTCtx, "B");
4397           ASSERT_THAT(BDecl, NotNull());
4399           const auto *BVal = dyn_cast_or_null<BoolValue>(Env.getValue(*BDecl));
5006           const ValueDecl *BDecl = findValueDecl(ASTCtx, "B");
5007           ASSERT_THAT(BDecl, NotNull());
5008           auto &BVal = getFormula(*BDecl, Env);
7245         const ValueDecl *BDecl = findValueDecl(ASTCtx, "b");
7253         auto *B = cast<BoolValue>(getFieldValue(&AnonStruct, *BDecl, Env));
7275         const ValueDecl *BDecl = findValueDecl(ASTCtx, "b");
7284         auto *B = cast<BoolValue>(getFieldValue(&AnonStruct, *BDecl, Env));