39#include "llvm/ADT/SmallString.h"
48 unsigned MSPropertySubscriptCount;
50 const SpecificRebuilderRefTy &SpecificCallback;
51 Rebuilder(
Sema &S,
const SpecificRebuilderRefTy &SpecificCallback)
52 : S(S), MSPropertySubscriptCount(0),
53 SpecificCallback(SpecificCallback) {}
97 auto *NewBase = rebuild(refExpr->
getBase());
98 ++MSPropertySubscriptCount;
101 SpecificCallback(refExpr->
getIdx(), MSPropertySubscriptCount),
108 if (
auto *PRE = dyn_cast<ObjCPropertyRefExpr>(e))
109 return rebuildObjCPropertyRefExpr(PRE);
110 if (
auto *SRE = dyn_cast<ObjCSubscriptRefExpr>(e))
111 return rebuildObjCSubscriptRefExpr(SRE);
112 if (
auto *MSPRE = dyn_cast<MSPropertyRefExpr>(e))
113 return rebuildMSPropertyRefExpr(MSPRE);
114 if (
auto *MSPSE = dyn_cast<MSPropertySubscriptExpr>(e))
115 return rebuildMSPropertySubscriptExpr(MSPSE);
120 if (
ParenExpr *parens = dyn_cast<ParenExpr>(e)) {
121 e = rebuild(parens->getSubExpr());
128 assert(uop->getOpcode() == UO_Extension);
129 e = rebuild(uop->getSubExpr());
131 S.
Context, e, uop->getOpcode(), uop->getType(), uop->getValueKind(),
132 uop->getObjectKind(), uop->getOperatorLoc(), uop->canOverflow(),
137 assert(!gse->isResultDependent());
138 unsigned resultIndex = gse->getResultIndex();
139 unsigned numAssocs = gse->getNumAssocs();
143 assocExprs.reserve(numAssocs);
144 assocTypes.reserve(numAssocs);
147 gse->associations()) {
148 Expr *assocExpr = assoc.getAssociationExpr();
149 if (assoc.isSelected())
150 assocExpr = rebuild(assocExpr);
151 assocExprs.push_back(assocExpr);
152 assocTypes.push_back(assoc.getTypeSourceInfo());
155 if (gse->isExprPredicate())
157 S.
Context, gse->getGenericLoc(), gse->getControllingExpr(),
158 assocTypes, assocExprs, gse->getDefaultLoc(), gse->getRParenLoc(),
159 gse->containsUnexpandedParameterPack(), resultIndex);
161 S.
Context, gse->getGenericLoc(), gse->getControllingType(),
162 assocTypes, assocExprs, gse->getDefaultLoc(), gse->getRParenLoc(),
163 gse->containsUnexpandedParameterPack(), resultIndex);
166 if (
ChooseExpr *ce = dyn_cast<ChooseExpr>(e)) {
167 assert(!ce->isConditionDependent());
169 Expr *LHS = ce->getLHS(), *RHS = ce->getRHS();
170 Expr *&rebuiltExpr = ce->isConditionTrue() ? LHS : RHS;
171 rebuiltExpr = rebuild(rebuiltExpr);
174 ChooseExpr(ce->getBuiltinLoc(), ce->getCond(), LHS, RHS,
177 ce->isConditionTrue());
180 llvm_unreachable(
"bad expression to rebuild!");
184 class PseudoOpBuilder {
187 unsigned ResultIndex;
194 GenericLoc(genericLoc), IsUnique(IsUnique) {}
196 virtual ~PseudoOpBuilder() {}
199 void addSemanticExpr(
Expr *semantic) {
200 Semantics.push_back(semantic);
204 void addResultSemanticExpr(
Expr *resultExpr) {
206 ResultIndex = Semantics.size();
207 Semantics.push_back(resultExpr);
209 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(Semantics.back()))
210 OVE->setIsUnique(
false);
227 void setResultToLastSemantic() {
229 ResultIndex = Semantics.size() - 1;
231 if (
auto *OVE = dyn_cast<OpaqueValueExpr>(Semantics.back()))
232 OVE->setIsUnique(
false);
236 static bool CanCaptureValue(
Expr *
exp) {
237 if (
exp->isGLValue())
244 return ClassDecl->isTriviallyCopyable();
248 virtual Expr *rebuildAndCaptureObject(
Expr *) = 0;
251 bool captureSetValueAsResult) = 0;
265 virtual bool captureSetValueAsResult()
const {
return true; }
269 class ObjCPropertyOpBuilder :
public PseudoOpBuilder {
281 : PseudoOpBuilder(S, refExpr->getLocation(), IsUnique),
282 RefExpr(refExpr), SyntacticRefExpr(nullptr),
283 InstanceReceiver(nullptr), Getter(nullptr), Setter(nullptr) {
296 bool findSetter(
bool warn=
true);
298 void DiagnoseUnsupportedPropertyUse();
300 Expr *rebuildAndCaptureObject(
Expr *syntacticBase)
override;
305 bool isWeakProperty()
const;
309 class ObjCSubscriptOpBuilder :
public PseudoOpBuilder {
321 : PseudoOpBuilder(S, refExpr->
getSourceRange().getBegin(), IsUnique),
322 RefExpr(refExpr), InstanceBase(nullptr), InstanceKey(nullptr),
323 AtIndexGetter(nullptr), AtIndexSetter(nullptr) {}
330 Expr *rebuildAndCaptureObject(
Expr *syntacticBase)
override;
332 bool findAtIndexGetter();
333 bool findAtIndexSetter();
339 class MSPropertyOpBuilder :
public PseudoOpBuilder {
348 : PseudoOpBuilder(S, refExpr->
getSourceRange().getBegin(), IsUnique),
349 RefExpr(refExpr), InstanceBase(nullptr) {}
351 : PseudoOpBuilder(S, refExpr->
getSourceRange().getBegin(), IsUnique),
352 InstanceBase(nullptr) {
353 RefExpr = getBaseMSProperty(refExpr);
356 Expr *rebuildAndCaptureObject(
Expr *)
override;
359 bool captureSetValueAsResult()
const override {
return false; }
374 addSemanticExpr(captured);
389 if (!isa<OpaqueValueExpr>(e)) {
391 setResultToLastSemantic();
399 assert(index < Semantics.size() &&
400 "captured expression not found in semantics!");
401 if (e == Semantics[index])
break;
405 cast<OpaqueValueExpr>(e)->setIsUnique(
false);
406 return cast<OpaqueValueExpr>(e);
412 Semantics, ResultIndex);
417 Expr *syntacticBase = rebuildAndCaptureObject(op);
421 addResultSemanticExpr(getExpr.
get());
423 return complete(syntacticBase);
434 Expr *syntacticLHS = rebuildAndCaptureObject(LHS);
443 Expr *semanticRHS = capturedRHS;
446 Semantics.pop_back();
452 if (opcode == BO_Assign) {
453 result = semanticRHS;
455 opcode, capturedRHS->
getType(),
466 result = S.
BuildBinOp(Sc, opcLoc, nonCompound, opLHS.
get(), semanticRHS);
478 result = buildSet(result.
get(), opcLoc, captureSetValueAsResult());
480 addSemanticExpr(result.
get());
483 setResultToLastSemantic();
485 return complete(syntactic);
496 Expr *syntacticOp = rebuildAndCaptureObject(op);
507 result = capture(result.
get());
508 setResultToLastSemantic();
517 result = S.
BuildBinOp(Sc, opcLoc, BO_Add, result.
get(), one);
519 result = S.
BuildBinOp(Sc, opcLoc, BO_Sub, result.
get(), one);
526 captureSetValueAsResult());
528 addSemanticExpr(result.
get());
532 setResultToLastSemantic();
542 return complete(syntactic);
586bool ObjCPropertyOpBuilder::isWeakProperty()
const {
588 if (RefExpr->isExplicitProperty()) {
595 T = Getter->getReturnType();
603bool ObjCPropertyOpBuilder::findGetter() {
604 if (Getter)
return true;
607 if (RefExpr->isImplicitProperty()) {
608 if ((Getter = RefExpr->getImplicitPropertyGetter())) {
609 GetterSelector = Getter->getSelector();
615 assert(setter &&
"both setter and getter are null - cannot happen");
628 return (Getter !=
nullptr);
635bool ObjCPropertyOpBuilder::findSetter(
bool warn) {
637 if (RefExpr->isImplicitProperty()) {
638 if (
ObjCMethodDecl *setter = RefExpr->getImplicitPropertySetter()) {
644 RefExpr->getImplicitPropertyGetter()->getSelector()
645 .getIdentifierInfoForSlot(0);
664 StringRef thisPropertyName = prop->
getName();
666 char front = thisPropertyName.front();
669 PropertyName[0] = front;
673 if (prop != prop1 && (prop1->getSetterMethodDecl() == setter)) {
674 S.
Diag(RefExpr->getExprLoc(), diag::err_property_setter_ambiguous_use)
677 S.
Diag(prop1->getLocation(), diag::note_property_declare);
692void ObjCPropertyOpBuilder::DiagnoseUnsupportedPropertyUse() {
697 S.
Diag(RefExpr->getLocation(),
698 diag::err_property_function_in_objc_container);
705Expr *ObjCPropertyOpBuilder::rebuildAndCaptureObject(
Expr *syntacticBase) {
706 assert(InstanceReceiver ==
nullptr);
710 if (RefExpr->isObjectReceiver()) {
711 InstanceReceiver = capture(RefExpr->getBase());
712 syntacticBase = Rebuilder(S, [=](
Expr *,
unsigned) ->
Expr * {
713 return InstanceReceiver;
714 }).rebuild(syntacticBase);
718 refE = dyn_cast<ObjCPropertyRefExpr>(syntacticBase->
IgnoreParens()))
719 SyntacticRefExpr = refE;
721 return syntacticBase;
728 DiagnoseUnsupportedPropertyUse();
732 if (SyntacticRefExpr)
733 SyntacticRefExpr->setIsMessagingGetter();
736 if (!Getter->isImplicit())
740 if ((Getter->isInstanceMethod() && !RefExpr->isClassReceiver()) ||
741 RefExpr->isObjectReceiver()) {
742 assert(InstanceReceiver || RefExpr->isSuperReceiver());
744 GenericLoc, Getter->getSelector(),
745 Getter, std::nullopt);
748 GenericLoc, Getter->getSelector(), Getter,
759 bool captureSetValueAsResult) {
760 if (!findSetter(
false)) {
761 DiagnoseUnsupportedPropertyUse();
765 if (SyntacticRefExpr)
766 SyntacticRefExpr->setIsMessagingSetter();
774 QualType paramType = (*Setter->param_begin())->getType()
777 Setter->getDeclContext(),
778 ObjCSubstitutionContext::Parameter);
790 assert(op &&
"successful assignment left argument invalid?");
795 Expr *args[] = { op };
799 if (!Setter->isImplicit())
801 if ((Setter->isInstanceMethod() && !RefExpr->isClassReceiver()) ||
802 RefExpr->isObjectReceiver()) {
804 GenericLoc, SetterSelector, Setter,
809 SetterSelector, Setter,
813 if (!msg.
isInvalid() && captureSetValueAsResult) {
817 if (CanCaptureValue(arg))
818 msgExpr->
setArg(0, captureValueAsResult(arg));
828 if (RefExpr->isImplicitProperty() && !RefExpr->getImplicitPropertyGetter()) {
829 S.
Diag(RefExpr->getLocation(), diag::err_getter_not_found)
830 << RefExpr->getSourceRange();
834 ExprResult result = PseudoOpBuilder::buildRValueOperation(op);
837 if (RefExpr->isExplicitProperty() && !Getter->hasRelatedResultType())
839 Getter, RefExpr->getLocation());
843 if (RefExpr->isExplicitProperty() && result.
get()->
isPRValue()) {
845 QualType propType = RefExpr->getExplicitProperty()
846 ->getUsageType(receiverType);
850 if (!ptr->isObjCIdType())
856 RefExpr->getLocation()))
867bool ObjCPropertyOpBuilder::tryBuildGetOfReference(
Expr *op,
880 QualType resultType = Getter->getReturnType();
883 result = buildRValueOperation(op);
889ObjCPropertyOpBuilder::buildAssignmentOperation(
Scope *Sc,
899 if (tryBuildGetOfReference(LHS, result)) {
905 S.
Diag(opcLoc, diag::err_nosetter_property_assignment)
906 <<
unsigned(RefExpr->isImplicitProperty())
915 if (opcode != BO_Assign && !findGetter()) {
916 S.
Diag(opcLoc, diag::err_nogetter_property_compound_assignment)
922 PseudoOpBuilder::buildAssignmentOperation(Sc, opcLoc, opcode, LHS, RHS);
926 if (S.
getLangOpts().ObjCAutoRefCount && InstanceReceiver) {
943 if (tryBuildGetOfReference(op, result)) {
949 S.
Diag(opcLoc, diag::err_nosetter_property_incdec)
950 <<
unsigned(RefExpr->isImplicitProperty())
961 assert(RefExpr->isImplicitProperty());
962 S.
Diag(opcLoc, diag::err_nogetter_property_incdec)
969 return PseudoOpBuilder::buildIncDecOperation(Sc, opcLoc, opcode, op);
977 SyntacticRefExpr->isMessagingGetter());
979 return PseudoOpBuilder::complete(SyntacticForm);
989ExprResult ObjCSubscriptOpBuilder::buildRValueOperation(
Expr *op) {
990 ExprResult result = PseudoOpBuilder::buildRValueOperation(op);
997ObjCSubscriptOpBuilder::buildAssignmentOperation(
Scope *Sc,
1003 if (!findAtIndexSetter())
1007 if (opcode != BO_Assign && !findAtIndexGetter())
1011 PseudoOpBuilder::buildAssignmentOperation(Sc, opcLoc, opcode, LHS, RHS);
1015 if (S.
getLangOpts().ObjCAutoRefCount && InstanceBase) {
1024Expr *ObjCSubscriptOpBuilder::rebuildAndCaptureObject(
Expr *syntacticBase) {
1025 assert(InstanceBase ==
nullptr);
1029 InstanceBase = capture(RefExpr->getBaseExpr());
1030 InstanceKey = capture(RefExpr->getKeyExpr());
1033 Rebuilder(S, [=](
Expr *,
unsigned Idx) ->
Expr * {
1036 return InstanceBase;
1040 llvm_unreachable(
"Unexpected index for ObjCSubscriptExpr");
1042 }).rebuild(syntacticBase);
1044 return syntacticBase;
1068 if (isa<StringLiteral>(IndexExpr))
1072 Diag(FromE->
getExprLoc(), diag::err_objc_subscript_type_conversion)
1079 diag::err_objc_index_incomplete_class_type, FromE))
1084 int NoIntegrals=0, NoObjCIdPointers=0;
1088 ->getVisibleConversionFunctions()) {
1090 dyn_cast<CXXConversionDecl>(D->getUnderlyingDecl())) {
1091 QualType CT = Conversion->getConversionType().getNonReferenceType();
1094 ConversionDecls.push_back(Conversion);
1098 ConversionDecls.push_back(Conversion);
1102 if (NoIntegrals ==1 && NoObjCIdPointers == 0)
1104 if (NoIntegrals == 0 && NoObjCIdPointers == 1)
1106 if (NoIntegrals == 0 && NoObjCIdPointers == 0) {
1108 Diag(FromE->
getExprLoc(), diag::err_objc_subscript_type_conversion)
1112 Diag(FromE->
getExprLoc(), diag::err_objc_multiple_subscript_type_conversion)
1114 for (
unsigned int i = 0; i < ConversionDecls.size(); i++)
1115 Diag(ConversionDecls[i]->getLocation(),
1116 diag::note_conv_function_declared_at);
1142bool ObjCSubscriptOpBuilder::findAtIndexGetter() {
1146 Expr *BaseExpr = RefExpr->getBaseExpr();
1159 RefExpr->getKeyExpr());
1164 if (ResultType.
isNull()) {
1165 S.
Diag(BaseExpr->
getExprLoc(), diag::err_objc_subscript_base_type)
1166 << BaseExpr->
getType() << arrayRef;
1189 if (!AtIndexGetter && S.
getLangOpts().DebuggerObjCLiteral) {
1208 AtIndexGetter->setMethodParams(S.
Context, Argument, std::nullopt);
1211 if (!AtIndexGetter) {
1213 S.
Diag(BaseExpr->
getExprLoc(), diag::err_objc_subscript_method_not_found)
1214 << BaseExpr->
getType() << 0 << arrayRef;
1219 RefExpr->getSourceRange(),
1223 if (AtIndexGetter) {
1224 QualType T = AtIndexGetter->parameters()[0]->getType();
1227 S.
Diag(RefExpr->getKeyExpr()->getExprLoc(),
1228 arrayRef ? diag::err_objc_subscript_index_type
1229 : diag::err_objc_subscript_key_type) << T;
1230 S.
Diag(AtIndexGetter->parameters()[0]->getLocation(),
1231 diag::note_parameter_type) << T;
1234 QualType R = AtIndexGetter->getReturnType();
1236 S.
Diag(RefExpr->getKeyExpr()->getExprLoc(),
1237 diag::err_objc_indexing_method_result_type) << R << arrayRef;
1238 S.
Diag(AtIndexGetter->getLocation(), diag::note_method_declared_at) <<
1239 AtIndexGetter->getDeclName();
1245bool ObjCSubscriptOpBuilder::findAtIndexSetter() {
1249 Expr *BaseExpr = RefExpr->getBaseExpr();
1263 RefExpr->getKeyExpr());
1268 if (ResultType.
isNull()) {
1269 S.
Diag(BaseExpr->
getExprLoc(), diag::err_objc_subscript_base_type)
1270 << BaseExpr->
getType() << arrayRef;
1294 if (!AtIndexSetter && S.
getLangOpts().DebuggerObjCLiteral) {
1313 Params.push_back(
object);
1323 Params.push_back(key);
1324 AtIndexSetter->setMethodParams(S.
Context, Params, std::nullopt);
1327 if (!AtIndexSetter) {
1330 diag::err_objc_subscript_method_not_found)
1331 << BaseExpr->
getType() << 1 << arrayRef;
1336 RefExpr->getSourceRange(),
1341 if (AtIndexSetter && arrayRef) {
1342 QualType T = AtIndexSetter->parameters()[1]->getType();
1344 S.
Diag(RefExpr->getKeyExpr()->getExprLoc(),
1345 diag::err_objc_subscript_index_type) << T;
1346 S.
Diag(AtIndexSetter->parameters()[1]->getLocation(),
1347 diag::note_parameter_type) << T;
1350 T = AtIndexSetter->parameters()[0]->getType();
1352 S.
Diag(RefExpr->getBaseExpr()->getExprLoc(),
1353 diag::err_objc_subscript_object_type) << T << arrayRef;
1354 S.
Diag(AtIndexSetter->parameters()[0]->getLocation(),
1355 diag::note_parameter_type) << T;
1359 else if (AtIndexSetter && !arrayRef)
1360 for (
unsigned i=0; i <2; i++) {
1361 QualType T = AtIndexSetter->parameters()[i]->getType();
1364 S.
Diag(RefExpr->getKeyExpr()->getExprLoc(),
1365 diag::err_objc_subscript_key_type) << T;
1367 S.
Diag(RefExpr->getBaseExpr()->getExprLoc(),
1368 diag::err_objc_subscript_dic_object_type) << T;
1369 S.
Diag(AtIndexSetter->parameters()[i]->getLocation(),
1370 diag::note_parameter_type) << T;
1380ExprResult ObjCSubscriptOpBuilder::buildGet() {
1381 if (!findAtIndexGetter())
1384 QualType receiverType = InstanceBase->getType();
1388 Expr *Index = InstanceKey;
1391 Expr *args[] = { Index };
1392 assert(InstanceBase);
1397 AtIndexGetterSelector, AtIndexGetter,
1408 bool captureSetValueAsResult) {
1409 if (!findAtIndexSetter())
1413 QualType receiverType = InstanceBase->getType();
1414 Expr *Index = InstanceKey;
1417 Expr *args[] = { op, Index };
1422 AtIndexSetterSelector,
1426 if (!msg.
isInvalid() && captureSetValueAsResult) {
1430 if (CanCaptureValue(arg))
1431 msgExpr->
setArg(0, captureValueAsResult(arg));
1443 CallArgs.insert(CallArgs.begin(), E->
getIdx());
1445 while (
auto *MSPropSubscript = dyn_cast<MSPropertySubscriptExpr>(
Base)) {
1446 CallArgs.insert(CallArgs.begin(), MSPropSubscript->getIdx());
1447 Base = MSPropSubscript->getBase()->IgnoreParens();
1449 return cast<MSPropertyRefExpr>(
Base);
1452Expr *MSPropertyOpBuilder::rebuildAndCaptureObject(
Expr *syntacticBase) {
1453 InstanceBase = capture(RefExpr->getBaseExpr());
1454 for (
Expr *&Arg : CallArgs)
1456 syntacticBase = Rebuilder(S, [=](
Expr *,
unsigned Idx) ->
Expr * {
1459 return InstanceBase;
1461 assert(Idx <= CallArgs.size());
1462 return CallArgs[Idx - 1];
1464 }).rebuild(syntacticBase);
1466 return syntacticBase;
1470 if (!RefExpr->getPropertyDecl()->hasGetter()) {
1471 S.
Diag(RefExpr->getMemberLoc(), diag::err_no_accessor_for_property)
1472 << 0 << RefExpr->getPropertyDecl();
1480 SS.
Adopt(RefExpr->getQualifierLoc());
1483 RefExpr->isArrow() ? tok::arrow : tok::period, SS,
1486 S.
Diag(RefExpr->getMemberLoc(),
1487 diag::err_cannot_find_suitable_accessor) << 0
1488 << RefExpr->getPropertyDecl();
1494 RefExpr->getSourceRange().getEnd());
1498 bool captureSetValueAsResult) {
1499 if (!RefExpr->getPropertyDecl()->hasSetter()) {
1500 S.
Diag(RefExpr->getMemberLoc(), diag::err_no_accessor_for_property)
1501 << 1 << RefExpr->getPropertyDecl();
1509 SS.
Adopt(RefExpr->getQualifierLoc());
1512 RefExpr->isArrow() ? tok::arrow : tok::period, SS,
1515 S.
Diag(RefExpr->getMemberLoc(),
1516 diag::err_cannot_find_suitable_accessor) << 1
1517 << RefExpr->getPropertyDecl();
1522 ArgExprs.append(CallArgs.begin(), CallArgs.end());
1523 ArgExprs.push_back(op);
1536 = dyn_cast<ObjCPropertyRefExpr>(opaqueRef)) {
1537 ObjCPropertyOpBuilder builder(*
this, refExpr,
true);
1538 return builder.buildRValueOperation(E);
1541 = dyn_cast<ObjCSubscriptRefExpr>(opaqueRef)) {
1542 ObjCSubscriptOpBuilder builder(*
this, refExpr,
true);
1543 return builder.buildRValueOperation(E);
1545 = dyn_cast<MSPropertyRefExpr>(opaqueRef)) {
1546 MSPropertyOpBuilder builder(*
this, refExpr,
true);
1547 return builder.buildRValueOperation(E);
1549 dyn_cast<MSPropertySubscriptExpr>(opaqueRef)) {
1550 MSPropertyOpBuilder Builder(*
this, RefExpr,
true);
1551 return Builder.buildRValueOperation(E);
1553 llvm_unreachable(
"unknown pseudo-object kind!");
1569 = dyn_cast<ObjCPropertyRefExpr>(opaqueRef)) {
1570 ObjCPropertyOpBuilder builder(*
this, refExpr,
false);
1571 return builder.buildIncDecOperation(Sc, opcLoc, opcode, op);
1572 }
else if (isa<ObjCSubscriptRefExpr>(opaqueRef)) {
1573 Diag(opcLoc, diag::err_illegal_container_subscripting_op);
1576 = dyn_cast<MSPropertyRefExpr>(opaqueRef)) {
1577 MSPropertyOpBuilder builder(*
this, refExpr,
false);
1578 return builder.buildIncDecOperation(Sc, opcLoc, opcode, op);
1580 = dyn_cast<MSPropertySubscriptExpr>(opaqueRef)) {
1581 MSPropertyOpBuilder Builder(*
this, RefExpr,
false);
1582 return Builder.buildIncDecOperation(Sc, opcLoc, opcode, op);
1584 llvm_unreachable(
"unknown pseudo-object kind!");
1604 bool IsSimpleAssign = opcode == BO_Assign;
1607 = dyn_cast<ObjCPropertyRefExpr>(opaqueRef)) {
1608 ObjCPropertyOpBuilder builder(*
this, refExpr, IsSimpleAssign);
1609 return builder.buildAssignmentOperation(S, opcLoc, opcode, LHS, RHS);
1611 = dyn_cast<ObjCSubscriptRefExpr>(opaqueRef)) {
1612 ObjCSubscriptOpBuilder builder(*
this, refExpr, IsSimpleAssign);
1613 return builder.buildAssignmentOperation(S, opcLoc, opcode, LHS, RHS);
1615 = dyn_cast<MSPropertyRefExpr>(opaqueRef)) {
1616 MSPropertyOpBuilder builder(*
this, refExpr, IsSimpleAssign);
1617 return builder.buildAssignmentOperation(S, opcLoc, opcode, LHS, RHS);
1619 = dyn_cast<MSPropertySubscriptExpr>(opaqueRef)) {
1620 MSPropertyOpBuilder Builder(*
this, RefExpr, IsSimpleAssign);
1621 return Builder.buildAssignmentOperation(S, opcLoc, opcode, LHS, RHS);
1623 llvm_unreachable(
"unknown pseudo-object kind!");
1633 return cast<OpaqueValueExpr>(E)->getSourceExpr();
1649 uop->getValueKind(), uop->getObjectKind(),
1650 uop->getOperatorLoc(), uop->canOverflow(),
1653 = dyn_cast<CompoundAssignOperator>(syntax)) {
1655 Expr *rhs = cast<OpaqueValueExpr>(cop->getRHS())->getSourceExpr();
1658 cop->getValueKind(), cop->getObjectKind(), cop->getOperatorLoc(),
1660 cop->getComputationResultType());
1662 }
else if (
BinaryOperator *bop = dyn_cast<BinaryOperator>(syntax)) {
1664 Expr *rhs = cast<OpaqueValueExpr>(bop->getRHS())->getSourceExpr();
1666 bop->
getType(), bop->getValueKind(),
1667 bop->getObjectKind(), bop->getOperatorLoc(),
1670 }
else if (isa<CallExpr>(syntax)) {
Defines the clang::Expr interface and subclasses for C++ expressions.
Defines the clang::Preprocessor interface.
static ObjCMethodDecl * LookupMethodInReceiverType(Sema &S, Selector sel, const ObjCPropertyRefExpr *PRE)
Look up a method in the receiver type of an Objective-C property reference.
static Expr * stripOpaqueValuesFromPseudoObjectRef(Sema &S, Expr *E)
Given a pseudo-object reference, rebuild it without the opaque values.
static void CheckKeyForObjCARCConversion(Sema &S, QualType ContainerT, Expr *Key)
CheckKeyForObjCARCConversion - This routine suggests bridge casting of CF objects used as dictionary ...
TranslationUnitDecl * getTranslationUnitDecl() const
QualType getObjCInterfaceType(const ObjCInterfaceDecl *Decl, ObjCInterfaceDecl *PrevDecl=nullptr) const
getObjCInterfaceType - Return the unique reference to the type for the specified ObjC interface decl.
SelectorTable & Selectors
CanQualType UnsignedLongTy
QualType getObjCIdType() const
Represents the Objective-CC id type.
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
A builtin binary operation expression such as "x + y" or "x <= y".
static Opcode getOpForCompoundAssignment(Opcode Opc)
static BinaryOperator * Create(const ASTContext &C, Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, ExprValueKind VK, ExprObjectKind OK, SourceLocation opLoc, FPOptionsOverride FPFeatures)
bool isAssignmentOp() const
Represents a C++ conversion function within a class.
Represents a C++ struct/union/class.
Represents a C++ nested-name-specifier or a global scope specifier.
void Adopt(NestedNameSpecifierLoc Other)
Adopt an existing nested-name-specifier (with source-range information).
ChooseExpr - GNU builtin-in function __builtin_choose_expr.
CompoundAssignOperator - For compound assignments (e.g.
static CompoundAssignOperator * Create(const ASTContext &C, Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, ExprValueKind VK, ExprObjectKind OK, SourceLocation opLoc, FPOptionsOverride FPFeatures, QualType CompLHSType=QualType(), QualType CompResultType=QualType())
Decl * getNonClosureAncestor()
Find the nearest non-closure ancestor of this context, i.e.
bool isObjCContainer() const
Decl::Kind getDeclKind() const
SourceLocation getLocation() const
DeclContext * getDeclContext()
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
This represents one expression.
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
Expr * IgnoreImplicit() LLVM_READONLY
Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.
Expr * IgnoreParens() LLVM_READONLY
Skip past any parentheses which might surround this expression until reaching a fixed point.
ExprObjectKind getObjectKind() const
getObjectKind - The object kind that this expression produces.
SourceLocation getExprLoc() const LLVM_READONLY
getExprLoc - Return the preferred location for the arrow when diagnosing a problem with a generic exp...
bool hasPlaceholderType() const
Returns whether this expression has a placeholder type.
static FixItHint CreateInsertion(SourceLocation InsertionLoc, StringRef Code, bool BeforePreviousInsertions=false)
Create a code modification hint that inserts the given code string at a specific location.
Represents a C11 generic selection.
AssociationTy< false > Association
static GenericSelectionExpr * Create(const ASTContext &Context, SourceLocation GenericLoc, Expr *ControllingExpr, ArrayRef< TypeSourceInfo * > AssocTypes, ArrayRef< Expr * > AssocExprs, SourceLocation DefaultLoc, SourceLocation RParenLoc, bool ContainsUnexpandedParameterPack, unsigned ResultIndex)
Create a non-result-dependent generic selection expression accepting an expression predicate.
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
IdentifierInfo & get(StringRef Name)
Return the identifier token info for the specified named identifier.
static IntegerLiteral * Create(const ASTContext &C, const llvm::APInt &V, QualType type, SourceLocation l)
Returns a new integer literal with value 'V' and type 'type'.
A member reference to an MSPropertyDecl.
NestedNameSpecifierLoc getQualifierLoc() const
MSPropertyDecl * getPropertyDecl() const
Expr * getBaseExpr() const
SourceLocation getMemberLoc() const
MS property subscript expression.
SourceLocation getRBracketLoc() const
This represents a decl that may have a name.
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
Represents an ObjC class declaration.
An expression that sends a message to the given Objective-C object or class.
Expr * getArg(unsigned Arg)
getArg - Return the specified argument.
void setArg(unsigned Arg, Expr *ArgExpr)
setArg - Set the specified argument.
ObjCMethodDecl - Represents an instance or class method declaration.
ArrayRef< ParmVarDecl * > parameters() const
bool isPropertyAccessor() const
static ObjCMethodDecl * Create(ASTContext &C, SourceLocation beginLoc, SourceLocation endLoc, Selector SelInfo, QualType T, TypeSourceInfo *ReturnTInfo, DeclContext *contextDecl, bool isInstance=true, bool isVariadic=false, bool isPropertyAccessor=false, bool isSynthesizedAccessorStub=false, bool isImplicitlyDeclared=false, bool isDefined=false, ObjCImplementationControl impControl=ObjCImplementationControl::None, bool HasRelatedResultType=false)
Selector getSelector() const
ObjCInterfaceDecl * getClassInterface()
Represents a pointer to an Objective C object.
QualType getPointeeType() const
Gets the type pointed to by this ObjC pointer.
bool isObjCClassType() const
True if this is equivalent to the 'Class' type, i.e.
Represents one property declaration in an Objective-C interface.
ObjCPropertyQueryKind getQueryKind() const
Selector getSetterName() const
Selector getGetterName() const
ObjCPropertyAttribute::Kind getPropertyAttributes() const
ObjCPropertyRefExpr - A dot-syntax expression to access an ObjC property.
ObjCPropertyDecl * getExplicitProperty() const
ObjCMethodDecl * getImplicitPropertyGetter() const
const Expr * getBase() const
bool isObjectReceiver() const
bool isExplicitProperty() const
QualType getSuperReceiverType() const
ObjCMethodDecl * getImplicitPropertySetter() const
ObjCInterfaceDecl * getClassReceiver() const
SourceLocation getLocation() const
bool isClassReceiver() const
bool isSuperReceiver() const
ObjCSubscriptRefExpr - used for array and dictionary subscripting.
Expr * getKeyExpr() const
Expr * getBaseExpr() const
ObjCMethodDecl * getAtIndexMethodDecl() const
SourceLocation getRBracket() const
ObjCMethodDecl * setAtIndexMethodDecl() const
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
ParenExpr - This represents a parethesized expression, e.g.
Represents a parameter to a function.
static ParmVarDecl * Create(ASTContext &C, DeclContext *DC, SourceLocation StartLoc, SourceLocation IdLoc, IdentifierInfo *Id, QualType T, TypeSourceInfo *TInfo, StorageClass S, Expr *DefArg)
IdentifierTable & getIdentifierTable()
SelectorTable & getSelectorTable()
PseudoObjectExpr - An expression which accesses a pseudo-object l-value.
static PseudoObjectExpr * Create(const ASTContext &Context, Expr *syntactic, ArrayRef< Expr * > semantic, unsigned resultIndex)
Expr * getSyntacticForm()
Return the syntactic form of this expression, i.e.
A (possibly-)qualified type.
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Qualifiers::ObjCLifetime getObjCLifetime() const
Returns lifetime attribute of this type.
QualType substObjCMemberType(QualType objectType, const DeclContext *dc, ObjCSubstitutionContext context) const
Substitute type arguments from an object type for the Objective-C type parameters used in the subject...
@ OCL_Weak
Reading or writing from this object requires a barrier call.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
RecordDecl * getDecl() const
Scope - A scope is a transient data structure that is used while parsing the program.
static Selector constructSetterSelector(IdentifierTable &Idents, SelectorTable &SelTable, const IdentifierInfo *Name)
Return the default setter selector for the given identifier.
Selector getSelector(unsigned NumArgs, IdentifierInfo **IIV)
Can create any sort of selector.
Selector getNullarySelector(IdentifierInfo *ID)
Smart pointer class that efficiently represents Objective-C method names.
IdentifierInfo * getIdentifierInfoForSlot(unsigned argIndex) const
Retrieve the identifier at a given position in the selector.
Sema - This implements semantic analysis and AST building for C.
ObjCMethodDecl * LookupMethodInObjectType(Selector Sel, QualType Ty, bool IsInstance)
LookupMethodInType - Look up a method in an ObjCObjectType.
Scope * getCurScope() const
Retrieve the parser's current scope.
bool isSelfExpr(Expr *RExpr)
Private Helper predicate to check for 'self'.
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
ObjCMethodDecl * LookupInstanceMethodInGlobalPool(Selector Sel, SourceRange R, bool receiverIdOrClass=false)
LookupInstanceMethodInGlobalPool - Returns the method and warns if there are multiple signatures.
FPOptionsOverride CurFPFeatureOverrides()
ExprResult checkPseudoObjectAssignment(Scope *S, SourceLocation OpLoc, BinaryOperatorKind Opcode, Expr *LHS, Expr *RHS)
ExprResult BuildUnaryOp(Scope *S, SourceLocation OpLoc, UnaryOperatorKind Opc, Expr *Input, bool IsAfterAmp=false)
Expr * recreateSyntacticForm(PseudoObjectExpr *E)
Given a pseudo-object expression, recreate what it looks like syntactically without the attendant Opa...
const LangOptions & getLangOpts() const
ExprResult BuildCallExpr(Scope *S, Expr *Fn, SourceLocation LParenLoc, MultiExprArg ArgExprs, SourceLocation RParenLoc, Expr *ExecConfig=nullptr, bool IsExecConfig=false, bool AllowRecovery=false)
BuildCallExpr - Handle a call to Fn with the specified array of arguments.
ExprResult checkPseudoObjectIncDec(Scope *S, SourceLocation OpLoc, UnaryOperatorKind Opcode, Expr *Op)
Check an increment or decrement of a pseudo-object expression.
ExprResult ImpCastExprToType(Expr *E, QualType Type, CastKind CK, ExprValueKind VK=VK_PRValue, const CXXCastPath *BasePath=nullptr, CheckedConversionKind CCK=CCK_ImplicitConversion)
ImpCastExprToType - If Expr is not of type 'Type', insert an implicit cast.
ObjCSubscriptKind CheckSubscriptingKind(Expr *FromE)
CheckSubscriptingKind - This routine decide what type of indexing represented by "FromE" is being don...
ExprResult BuildInstanceMessageImplicit(Expr *Receiver, QualType ReceiverType, SourceLocation Loc, Selector Sel, ObjCMethodDecl *Method, MultiExprArg Args)
DeclContext * getCurLexicalContext() const
sema::FunctionScopeInfo * getCurFunction() const
void checkUnsafeExprAssigns(SourceLocation Loc, Expr *LHS, Expr *RHS)
checkUnsafeExprAssigns - Check whether +1 expr is being assigned to weak/__unsafe_unretained expressi...
AssignConvertType CheckSingleAssignmentConstraints(QualType LHSType, ExprResult &RHS, bool Diagnose=true, bool DiagnoseCFAudited=false, bool ConvertRHS=true)
Check assignment constraints for an assignment of RHS to LHSType.
ExprResult ActOnMemberAccessExpr(Scope *S, Expr *Base, SourceLocation OpLoc, tok::TokenKind OpKind, CXXScopeSpec &SS, SourceLocation TemplateKWLoc, UnqualifiedId &Member, Decl *ObjCImpDecl)
The main callback when the parser finds something like expression .
DeclContext * CurContext
CurContext - This is the current declaration context of parsing.
bool isUnevaluatedContext() const
Determines whether we are currently in a context that is not evaluated as per C++ [expr] p5.
AssignConvertType
AssignConvertType - All of the 'assignment' semantic checks return this enum to indicate whether the ...
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
@ CCK_ImplicitConversion
An implicit conversion.
ExprResult checkPseudoObjectRValue(Expr *E)
ARCConversionResult CheckObjCConversion(SourceRange castRange, QualType castType, Expr *&op, CheckedConversionKind CCK, bool Diagnose=true, bool DiagnoseCFAudited=false, BinaryOperatorKind Opc=BO_PtrMemD)
Checks for invalid conversions and casts between retainable pointers and other pointer kinds for ARC ...
bool DiagnoseUseOfDecl(NamedDecl *D, ArrayRef< SourceLocation > Locs, const ObjCInterfaceDecl *UnknownObjCClass=nullptr, bool ObjCPropertyAccess=false, bool AvoidPartialAvailabilityChecks=false, ObjCInterfaceDecl *ClassReciever=nullptr, bool SkipTrailingRequiresClause=false)
Determine whether the use of this declaration is valid, and emit any corresponding diagnostics.
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
void checkRetainCycles(ObjCMessageExpr *msg)
checkRetainCycles - Check whether an Objective-C message send might create an obvious retain cycle.
DiagnosticsEngine & Diags
bool DiagnosePropertyAccessorMismatch(ObjCPropertyDecl *PD, ObjCMethodDecl *Getter, SourceLocation Loc)
bool DiagnoseAssignmentResult(AssignConvertType ConvTy, SourceLocation Loc, QualType DstType, QualType SrcType, Expr *SrcExpr, AssignmentAction Action, bool *Complained=nullptr)
DiagnoseAssignmentResult - Emit a diagnostic, if required, for the assignment conversion type specifi...
ExprResult BuildBinOp(Scope *S, SourceLocation OpLoc, BinaryOperatorKind Opc, Expr *LHSExpr, Expr *RHSExpr)
ExprResult BuildClassMessageImplicit(QualType ReceiverType, bool isSuperReceiver, SourceLocation Loc, Selector Sel, ObjCMethodDecl *Method, MultiExprArg Args)
Encodes a location in the source.
SourceLocation getEnd() const
SourceLocation getBegin() const
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
SourceLocation getBeginLoc() const LLVM_READONLY
A container of type source information.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool isBlockPointerType() const
bool isVoidPointerType() const
const T * castAs() const
Member-template castAs<specific type>.
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
bool isNonOverloadPlaceholderType() const
Test for a placeholder type other than Overload; see BuiltinType::isNonOverloadPlaceholderType.
bool isLValueReferenceType() const
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isObjCIdType() const
bool isIncompleteType(NamedDecl **Def=nullptr) const
Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types,...
bool isObjCObjectPointerType() const
const T * getAs() const
Member-template getAs<specific type>'.
bool isRecordType() const
UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...
bool isDecrementOp() const
static UnaryOperator * Create(const ASTContext &C, Expr *input, Opcode opc, QualType type, ExprValueKind VK, ExprObjectKind OK, SourceLocation l, bool CanOverflow, FPOptionsOverride FPFeatures)
bool isIncrementDecrementOp() const
bool isIncrementOp() const
Represents a C++ unqualified-id that has been parsed.
void setIdentifier(const IdentifierInfo *Id, SourceLocation IdLoc)
Specify that this unqualified-id was parsed as an identifier.
void recordUseOfWeak(const ExprT *E, bool IsRead=true)
Record that a weak object was accessed.
void markSafeWeakUse(const Expr *E)
Record that a given expression is a "safe" access of a weak object (e.g.
LLVM_READONLY char toLowercase(char c)
Converts the given ASCII character to its lowercase equivalent.
@ OK_Ordinary
An ordinary object is located at an address in memory.
LLVM_READONLY bool isLowercase(unsigned char c)
Return true if this character is a lowercase ASCII letter: [a-z].
LLVM_READONLY char toUppercase(char c)
Converts the given ASCII character to its uppercase equivalent.
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
MutableArrayRef< Expr * > MultiExprArg
__DEVICE__ _Tp arg(const std::complex< _Tp > &__c)