Home
last modified time | relevance | path

Searched refs:RecordValue (Results 1 – 8 of 8) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDataflowEnvironment.cpp127 if (auto *RecordVal1 = dyn_cast<RecordValue>(&Val1)) { in mergeDistinctValues()
128 auto *RecordVal2 = cast<RecordValue>(&Val2); in mergeDistinctValues()
776 auto *Val = cast_or_null<RecordValue>(getValue(RecordPRValue)); in getResultObjectLocation()
806 assert(!isa<RecordValue>(&Val) || &cast<RecordValue>(&Val)->getLoc() == &Loc); in setValue()
814 if (auto *RecordVal = dyn_cast<RecordValue>(&Val)) { in setValue()
914 RecordValue &RecordVal = create<RecordValue>(Loc); in createValueUnlessSelfReferential()
942 return cast<RecordValue>(Val)->getLoc(); in createLocAndMaybeValue()
988 return cast<RecordValue>(Val)->getLoc(); in createObjectInternal()
1079 auto &NewVal = Env.create<RecordValue>(Loc); in refreshRecordValue()
1088 if (auto *ExistingVal = Env.get<RecordValue>(Expr)) { in refreshRecordValue()
[all …]
H A DTransfer.cpp479 auto &Val = *cast<RecordValue>(Env.createValue(S->getType())); in VisitCXXConstructExpr()
490 auto &InitialVal = *cast<RecordValue>(Env.createValue(S->getType())); in VisitCXXConstructExpr()
518 if (auto *Val = Env.get<RecordValue>(*Arg1)) in VisitCXXOperatorCallExpr()
601 if (RecordValue *RecordVal = dyn_cast<RecordValue>(SubExprVal)) { in VisitMaterializeTemporaryExpr()
677 auto *BaseVal = Env.get<RecordValue>(*Init); in VisitInitListExpr()
679 BaseVal = cast<RecordValue>(Env.createValue(Init->getType())); in VisitInitListExpr()
723 RecordValue &RecordVal = Env.create<RecordValue>(Loc); in VisitInitListExpr()
H A DRecordOps.cpp69 RecordValue *DstVal = &Env.create<RecordValue>(Dst); in copyRecord()
H A DValue.cpp50 return OS << "Record(" << &cast<RecordValue>(Val).getLoc() << ")"; in operator <<()
H A DTypeErasedDataflowAnalysis.cpp408 auto *InitValStruct = cast<RecordValue>(InitExprVal); in builtinTransferInitializer()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DValue.h210 class RecordValue final : public Value {
212 explicit RecordValue(RecordStorageLocation &Loc) in RecordValue() function
H A DDataflowEnvironment.h731 RecordValue &refreshRecordValue(RecordStorageLocation &Loc, Environment &Env);
734 RecordValue &refreshRecordValue(const Expr &Expr, Environment &Env);
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/Models/
H A DUncheckedOptionalAccessModel.cpp256 RecordValue &createOptionalValue(RecordStorageLocation &Loc, in createOptionalValue()
258 auto &OptionalVal = Env.create<RecordValue>(Loc); in createOptionalValue()
416 RecordValue &Val = in transferCallReturningOptional()