Searched refs:InitEx (Results 1 – 1 of 1) sorted by relevance
603 if (const Expr *InitEx = VD->getInit()) { in VisitDeclStmt() local607 SVal InitVal = state->getSVal(InitEx, LC); in VisitDeclStmt()619 QualType Ty = InitEx->getType(); in VisitDeclStmt()620 if (InitEx->isGLValue()) { in VisitDeclStmt()624 InitVal = svalBuilder.conjureSymbolVal(nullptr, InitEx, LC, Ty, in VisitDeclStmt()