clang  12.0.0git
BodyFarm.cpp
Go to the documentation of this file.
1 //== BodyFarm.cpp - Factory for conjuring up fake bodies ----------*- C++ -*-//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // BodyFarm is a factory for creating faux implementations for functions/methods
10 // for analysis purposes.
11 //
12 //===----------------------------------------------------------------------===//
13 
15 #include "clang/AST/ASTContext.h"
17 #include "clang/AST/Decl.h"
18 #include "clang/AST/Expr.h"
19 #include "clang/AST/ExprCXX.h"
20 #include "clang/AST/ExprObjC.h"
24 #include "llvm/ADT/StringSwitch.h"
25 #include "llvm/Support/Debug.h"
26 
27 #define DEBUG_TYPE "body-farm"
28 
29 using namespace clang;
30 
31 //===----------------------------------------------------------------------===//
32 // Helper creation functions for constructing faux ASTs.
33 //===----------------------------------------------------------------------===//
34 
35 static bool isDispatchBlock(QualType Ty) {
36  // Is it a block pointer?
37  const BlockPointerType *BPT = Ty->getAs<BlockPointerType>();
38  if (!BPT)
39  return false;
40 
41  // Check if the block pointer type takes no arguments and
42  // returns void.
43  const FunctionProtoType *FT =
45  return FT && FT->getReturnType()->isVoidType() && FT->getNumParams() == 0;
46 }
47 
48 namespace {
49 class ASTMaker {
50 public:
51  ASTMaker(ASTContext &C) : C(C) {}
52 
53  /// Create a new BinaryOperator representing a simple assignment.
54  BinaryOperator *makeAssignment(const Expr *LHS, const Expr *RHS, QualType Ty);
55 
56  /// Create a new BinaryOperator representing a comparison.
57  BinaryOperator *makeComparison(const Expr *LHS, const Expr *RHS,
59 
60  /// Create a new compound stmt using the provided statements.
61  CompoundStmt *makeCompound(ArrayRef<Stmt*>);
62 
63  /// Create a new DeclRefExpr for the referenced variable.
64  DeclRefExpr *makeDeclRefExpr(const VarDecl *D,
65  bool RefersToEnclosingVariableOrCapture = false);
66 
67  /// Create a new UnaryOperator representing a dereference.
68  UnaryOperator *makeDereference(const Expr *Arg, QualType Ty);
69 
70  /// Create an implicit cast for an integer conversion.
71  Expr *makeIntegralCast(const Expr *Arg, QualType Ty);
72 
73  /// Create an implicit cast to a builtin boolean type.
74  ImplicitCastExpr *makeIntegralCastToBoolean(const Expr *Arg);
75 
76  /// Create an implicit cast for lvalue-to-rvaluate conversions.
77  ImplicitCastExpr *makeLvalueToRvalue(const Expr *Arg, QualType Ty);
78 
79  /// Make RValue out of variable declaration, creating a temporary
80  /// DeclRefExpr in the process.
82  makeLvalueToRvalue(const VarDecl *Decl,
83  bool RefersToEnclosingVariableOrCapture = false);
84 
85  /// Create an implicit cast of the given type.
86  ImplicitCastExpr *makeImplicitCast(const Expr *Arg, QualType Ty,
87  CastKind CK = CK_LValueToRValue);
88 
89  /// Create an Objective-C bool literal.
90  ObjCBoolLiteralExpr *makeObjCBool(bool Val);
91 
92  /// Create an Objective-C ivar reference.
93  ObjCIvarRefExpr *makeObjCIvarRef(const Expr *Base, const ObjCIvarDecl *IVar);
94 
95  /// Create a Return statement.
96  ReturnStmt *makeReturn(const Expr *RetVal);
97 
98  /// Create an integer literal expression of the given type.
99  IntegerLiteral *makeIntegerLiteral(uint64_t Value, QualType Ty);
100 
101  /// Create a member expression.
102  MemberExpr *makeMemberExpression(Expr *base, ValueDecl *MemberDecl,
103  bool IsArrow = false,
104  ExprValueKind ValueKind = VK_LValue);
105 
106  /// Returns a *first* member field of a record declaration with a given name.
107  /// \return an nullptr if no member with such a name exists.
108  ValueDecl *findMemberField(const RecordDecl *RD, StringRef Name);
109 
110 private:
111  ASTContext &C;
112 };
113 }
114 
115 BinaryOperator *ASTMaker::makeAssignment(const Expr *LHS, const Expr *RHS,
116  QualType Ty) {
117  return BinaryOperator::Create(
118  C, const_cast<Expr *>(LHS), const_cast<Expr *>(RHS), BO_Assign, Ty,
120 }
121 
122 BinaryOperator *ASTMaker::makeComparison(const Expr *LHS, const Expr *RHS,
124  assert(BinaryOperator::isLogicalOp(Op) ||
126  return BinaryOperator::Create(
127  C, const_cast<Expr *>(LHS), const_cast<Expr *>(RHS), Op,
128  C.getLogicalOperationType(), VK_RValue, OK_Ordinary, SourceLocation(),
130 }
131 
132 CompoundStmt *ASTMaker::makeCompound(ArrayRef<Stmt *> Stmts) {
134 }
135 
136 DeclRefExpr *ASTMaker::makeDeclRefExpr(
137  const VarDecl *D,
138  bool RefersToEnclosingVariableOrCapture) {
140 
142  C, NestedNameSpecifierLoc(), SourceLocation(), const_cast<VarDecl *>(D),
143  RefersToEnclosingVariableOrCapture, SourceLocation(), Type, VK_LValue);
144  return DR;
145 }
146 
147 UnaryOperator *ASTMaker::makeDereference(const Expr *Arg, QualType Ty) {
148  return UnaryOperator::Create(C, const_cast<Expr *>(Arg), UO_Deref, Ty,
150  /*CanOverflow*/ false, FPOptionsOverride());
151 }
152 
153 ImplicitCastExpr *ASTMaker::makeLvalueToRvalue(const Expr *Arg, QualType Ty) {
154  return makeImplicitCast(Arg, Ty, CK_LValueToRValue);
155 }
156 
158 ASTMaker::makeLvalueToRvalue(const VarDecl *Arg,
159  bool RefersToEnclosingVariableOrCapture) {
161  return makeLvalueToRvalue(makeDeclRefExpr(Arg,
162  RefersToEnclosingVariableOrCapture),
163  Type);
164 }
165 
166 ImplicitCastExpr *ASTMaker::makeImplicitCast(const Expr *Arg, QualType Ty,
167  CastKind CK) {
168  return ImplicitCastExpr::Create(C, Ty,
169  /* CastKind=*/CK,
170  /* Expr=*/const_cast<Expr *>(Arg),
171  /* CXXCastPath=*/nullptr,
172  /* ExprValueKind=*/VK_RValue,
173  /* FPFeatures */ FPOptionsOverride());
174 }
175 
176 Expr *ASTMaker::makeIntegralCast(const Expr *Arg, QualType Ty) {
177  if (Arg->getType() == Ty)
178  return const_cast<Expr*>(Arg);
179  return makeImplicitCast(Arg, Ty, CK_IntegralCast);
180 }
181 
182 ImplicitCastExpr *ASTMaker::makeIntegralCastToBoolean(const Expr *Arg) {
183  return makeImplicitCast(Arg, C.BoolTy, CK_IntegralToBoolean);
184 }
185 
186 ObjCBoolLiteralExpr *ASTMaker::makeObjCBool(bool Val) {
187  QualType Ty = C.getBOOLDecl() ? C.getBOOLType() : C.ObjCBuiltinBoolTy;
188  return new (C) ObjCBoolLiteralExpr(Val, Ty, SourceLocation());
189 }
190 
191 ObjCIvarRefExpr *ASTMaker::makeObjCIvarRef(const Expr *Base,
192  const ObjCIvarDecl *IVar) {
193  return new (C) ObjCIvarRefExpr(const_cast<ObjCIvarDecl*>(IVar),
194  IVar->getType(), SourceLocation(),
195  SourceLocation(), const_cast<Expr*>(Base),
196  /*arrow=*/true, /*free=*/false);
197 }
198 
199 ReturnStmt *ASTMaker::makeReturn(const Expr *RetVal) {
200  return ReturnStmt::Create(C, SourceLocation(), const_cast<Expr *>(RetVal),
201  /* NRVOCandidate=*/nullptr);
202 }
203 
204 IntegerLiteral *ASTMaker::makeIntegerLiteral(uint64_t Value, QualType Ty) {
205  llvm::APInt APValue = llvm::APInt(C.getTypeSize(Ty), Value);
206  return IntegerLiteral::Create(C, APValue, Ty, SourceLocation());
207 }
208 
209 MemberExpr *ASTMaker::makeMemberExpression(Expr *base, ValueDecl *MemberDecl,
210  bool IsArrow,
211  ExprValueKind ValueKind) {
212 
213  DeclAccessPair FoundDecl = DeclAccessPair::make(MemberDecl, AS_public);
214  return MemberExpr::Create(
215  C, base, IsArrow, SourceLocation(), NestedNameSpecifierLoc(),
216  SourceLocation(), MemberDecl, FoundDecl,
218  /* TemplateArgumentListInfo=*/ nullptr, MemberDecl->getType(), ValueKind,
220 }
221 
222 ValueDecl *ASTMaker::findMemberField(const RecordDecl *RD, StringRef Name) {
223 
224  CXXBasePaths Paths(
225  /* FindAmbiguities=*/false,
226  /* RecordPaths=*/false,
227  /* DetectVirtual=*/ false);
228  const IdentifierInfo &II = C.Idents.get(Name);
229  DeclarationName DeclName = C.DeclarationNames.getIdentifier(&II);
230 
231  DeclContextLookupResult Decls = RD->lookup(DeclName);
232  for (NamedDecl *FoundDecl : Decls)
233  if (!FoundDecl->getDeclContext()->isFunctionOrMethod())
234  return cast<ValueDecl>(FoundDecl);
235 
236  return nullptr;
237 }
238 
239 //===----------------------------------------------------------------------===//
240 // Creation functions for faux ASTs.
241 //===----------------------------------------------------------------------===//
242 
243 typedef Stmt *(*FunctionFarmer)(ASTContext &C, const FunctionDecl *D);
244 
246  const ParmVarDecl *Callback,
247  ArrayRef<Expr *> CallArgs) {
248 
249  QualType Ty = Callback->getType();
250  DeclRefExpr *Call = M.makeDeclRefExpr(Callback);
251  Expr *SubExpr;
252  if (Ty->isRValueReferenceType()) {
253  SubExpr = M.makeImplicitCast(
254  Call, Ty.getNonReferenceType(), CK_LValueToRValue);
255  } else if (Ty->isLValueReferenceType() &&
256  Call->getType()->isFunctionType()) {
257  Ty = C.getPointerType(Ty.getNonReferenceType());
258  SubExpr = M.makeImplicitCast(Call, Ty, CK_FunctionToPointerDecay);
259  } else if (Ty->isLValueReferenceType()
260  && Call->getType()->isPointerType()
261  && Call->getType()->getPointeeType()->isFunctionType()){
262  SubExpr = Call;
263  } else {
264  llvm_unreachable("Unexpected state");
265  }
266 
267  return CallExpr::Create(C, SubExpr, CallArgs, C.VoidTy, VK_RValue,
269 }
270 
272  const ParmVarDecl *Callback,
273  CXXRecordDecl *CallbackDecl,
274  ArrayRef<Expr *> CallArgs) {
275  assert(CallbackDecl != nullptr);
276  assert(CallbackDecl->isLambda());
277  FunctionDecl *callOperatorDecl = CallbackDecl->getLambdaCallOperator();
278  assert(callOperatorDecl != nullptr);
279 
280  DeclRefExpr *callOperatorDeclRef =
281  DeclRefExpr::Create(/* Ctx =*/ C,
282  /* QualifierLoc =*/ NestedNameSpecifierLoc(),
283  /* TemplateKWLoc =*/ SourceLocation(),
284  const_cast<FunctionDecl *>(callOperatorDecl),
285  /* RefersToEnclosingVariableOrCapture=*/ false,
286  /* NameLoc =*/ SourceLocation(),
287  /* T =*/ callOperatorDecl->getType(),
288  /* VK =*/ VK_LValue);
289 
291  /*AstContext=*/C, OO_Call, callOperatorDeclRef,
292  /*Args=*/CallArgs,
293  /*QualType=*/C.VoidTy,
294  /*ExprValueType=*/VK_RValue,
295  /*SourceLocation=*/SourceLocation(),
296  /*FPFeatures=*/FPOptionsOverride());
297 }
298 
299 /// Create a fake body for std::call_once.
300 /// Emulates the following function body:
301 ///
302 /// \code
303 /// typedef struct once_flag_s {
304 /// unsigned long __state = 0;
305 /// } once_flag;
306 /// template<class Callable>
307 /// void call_once(once_flag& o, Callable func) {
308 /// if (!o.__state) {
309 /// func();
310 /// }
311 /// o.__state = 1;
312 /// }
313 /// \endcode
315  LLVM_DEBUG(llvm::dbgs() << "Generating body for call_once\n");
316 
317  // We need at least two parameters.
318  if (D->param_size() < 2)
319  return nullptr;
320 
321  ASTMaker M(C);
322 
323  const ParmVarDecl *Flag = D->getParamDecl(0);
324  const ParmVarDecl *Callback = D->getParamDecl(1);
325 
326  if (!Callback->getType()->isReferenceType()) {
327  llvm::dbgs() << "libcxx03 std::call_once implementation, skipping.\n";
328  return nullptr;
329  }
330  if (!Flag->getType()->isReferenceType()) {
331  llvm::dbgs() << "unknown std::call_once implementation, skipping.\n";
332  return nullptr;
333  }
334 
335  QualType CallbackType = Callback->getType().getNonReferenceType();
336 
337  // Nullable pointer, non-null iff function is a CXXRecordDecl.
338  CXXRecordDecl *CallbackRecordDecl = CallbackType->getAsCXXRecordDecl();
339  QualType FlagType = Flag->getType().getNonReferenceType();
340  auto *FlagRecordDecl = FlagType->getAsRecordDecl();
341 
342  if (!FlagRecordDecl) {
343  LLVM_DEBUG(llvm::dbgs() << "Flag field is not a record: "
344  << "unknown std::call_once implementation, "
345  << "ignoring the call.\n");
346  return nullptr;
347  }
348 
349  // We initially assume libc++ implementation of call_once,
350  // where the once_flag struct has a field `__state_`.
351  ValueDecl *FlagFieldDecl = M.findMemberField(FlagRecordDecl, "__state_");
352 
353  // Otherwise, try libstdc++ implementation, with a field
354  // `_M_once`
355  if (!FlagFieldDecl) {
356  FlagFieldDecl = M.findMemberField(FlagRecordDecl, "_M_once");
357  }
358 
359  if (!FlagFieldDecl) {
360  LLVM_DEBUG(llvm::dbgs() << "No field _M_once or __state_ found on "
361  << "std::once_flag struct: unknown std::call_once "
362  << "implementation, ignoring the call.");
363  return nullptr;
364  }
365 
366  bool isLambdaCall = CallbackRecordDecl && CallbackRecordDecl->isLambda();
367  if (CallbackRecordDecl && !isLambdaCall) {
368  LLVM_DEBUG(llvm::dbgs()
369  << "Not supported: synthesizing body for functors when "
370  << "body farming std::call_once, ignoring the call.");
371  return nullptr;
372  }
373 
374  SmallVector<Expr *, 5> CallArgs;
375  const FunctionProtoType *CallbackFunctionType;
376  if (isLambdaCall) {
377 
378  // Lambda requires callback itself inserted as a first parameter.
379  CallArgs.push_back(
380  M.makeDeclRefExpr(Callback,
381  /* RefersToEnclosingVariableOrCapture=*/ true));
382  CallbackFunctionType = CallbackRecordDecl->getLambdaCallOperator()
383  ->getType()
385  } else if (!CallbackType->getPointeeType().isNull()) {
386  CallbackFunctionType =
387  CallbackType->getPointeeType()->getAs<FunctionProtoType>();
388  } else {
389  CallbackFunctionType = CallbackType->getAs<FunctionProtoType>();
390  }
391 
392  if (!CallbackFunctionType)
393  return nullptr;
394 
395  // First two arguments are used for the flag and for the callback.
396  if (D->getNumParams() != CallbackFunctionType->getNumParams() + 2) {
397  LLVM_DEBUG(llvm::dbgs() << "Types of params of the callback do not match "
398  << "params passed to std::call_once, "
399  << "ignoring the call\n");
400  return nullptr;
401  }
402 
403  // All arguments past first two ones are passed to the callback,
404  // and we turn lvalues into rvalues if the argument is not passed by
405  // reference.
406  for (unsigned int ParamIdx = 2; ParamIdx < D->getNumParams(); ParamIdx++) {
407  const ParmVarDecl *PDecl = D->getParamDecl(ParamIdx);
408  assert(PDecl);
409  if (CallbackFunctionType->getParamType(ParamIdx - 2)
411  .getCanonicalType() !=
413  LLVM_DEBUG(llvm::dbgs() << "Types of params of the callback do not match "
414  << "params passed to std::call_once, "
415  << "ignoring the call\n");
416  return nullptr;
417  }
418  Expr *ParamExpr = M.makeDeclRefExpr(PDecl);
419  if (!CallbackFunctionType->getParamType(ParamIdx - 2)->isReferenceType()) {
420  QualType PTy = PDecl->getType().getNonReferenceType();
421  ParamExpr = M.makeLvalueToRvalue(ParamExpr, PTy);
422  }
423  CallArgs.push_back(ParamExpr);
424  }
425 
426  CallExpr *CallbackCall;
427  if (isLambdaCall) {
428 
429  CallbackCall = create_call_once_lambda_call(C, M, Callback,
430  CallbackRecordDecl, CallArgs);
431  } else {
432 
433  // Function pointer case.
434  CallbackCall = create_call_once_funcptr_call(C, M, Callback, CallArgs);
435  }
436 
437  DeclRefExpr *FlagDecl =
438  M.makeDeclRefExpr(Flag,
439  /* RefersToEnclosingVariableOrCapture=*/true);
440 
441 
442  MemberExpr *Deref = M.makeMemberExpression(FlagDecl, FlagFieldDecl);
443  assert(Deref->isLValue());
444  QualType DerefType = Deref->getType();
445 
446  // Negation predicate.
448  C,
449  /* input=*/
450  M.makeImplicitCast(M.makeLvalueToRvalue(Deref, DerefType), DerefType,
451  CK_IntegralToBoolean),
452  /* opc=*/UO_LNot,
453  /* QualType=*/C.IntTy,
454  /* ExprValueKind=*/VK_RValue,
455  /* ExprObjectKind=*/OK_Ordinary, SourceLocation(),
456  /* CanOverflow*/ false, FPOptionsOverride());
457 
458  // Create assignment.
459  BinaryOperator *FlagAssignment = M.makeAssignment(
460  Deref, M.makeIntegralCast(M.makeIntegerLiteral(1, C.IntTy), DerefType),
461  DerefType);
462 
463  auto *Out =
465  /* IsConstexpr=*/false,
466  /* Init=*/nullptr,
467  /* Var=*/nullptr,
468  /* Cond=*/FlagCheck,
469  /* LPL=*/SourceLocation(),
470  /* RPL=*/SourceLocation(),
471  /* Then=*/M.makeCompound({CallbackCall, FlagAssignment}));
472 
473  return Out;
474 }
475 
476 /// Create a fake body for dispatch_once.
478  // Check if we have at least two parameters.
479  if (D->param_size() != 2)
480  return nullptr;
481 
482  // Check if the first parameter is a pointer to integer type.
483  const ParmVarDecl *Predicate = D->getParamDecl(0);
484  QualType PredicateQPtrTy = Predicate->getType();
485  const PointerType *PredicatePtrTy = PredicateQPtrTy->getAs<PointerType>();
486  if (!PredicatePtrTy)
487  return nullptr;
488  QualType PredicateTy = PredicatePtrTy->getPointeeType();
489  if (!PredicateTy->isIntegerType())
490  return nullptr;
491 
492  // Check if the second parameter is the proper block type.
493  const ParmVarDecl *Block = D->getParamDecl(1);
494  QualType Ty = Block->getType();
495  if (!isDispatchBlock(Ty))
496  return nullptr;
497 
498  // Everything checks out. Create a fakse body that checks the predicate,
499  // sets it, and calls the block. Basically, an AST dump of:
500  //
501  // void dispatch_once(dispatch_once_t *predicate, dispatch_block_t block) {
502  // if (*predicate != ~0l) {
503  // *predicate = ~0l;
504  // block();
505  // }
506  // }
507 
508  ASTMaker M(C);
509 
510  // (1) Create the call.
512  /*ASTContext=*/C,
513  /*StmtClass=*/M.makeLvalueToRvalue(/*Expr=*/Block),
514  /*Args=*/None,
515  /*QualType=*/C.VoidTy,
516  /*ExprValueType=*/VK_RValue,
517  /*SourceLocation=*/SourceLocation(), FPOptionsOverride());
518 
519  // (2) Create the assignment to the predicate.
520  Expr *DoneValue =
521  UnaryOperator::Create(C, M.makeIntegerLiteral(0, C.LongTy), UO_Not,
523  /*CanOverflow*/ false, FPOptionsOverride());
524 
525  BinaryOperator *B =
526  M.makeAssignment(
527  M.makeDereference(
528  M.makeLvalueToRvalue(
529  M.makeDeclRefExpr(Predicate), PredicateQPtrTy),
530  PredicateTy),
531  M.makeIntegralCast(DoneValue, PredicateTy),
532  PredicateTy);
533 
534  // (3) Create the compound statement.
535  Stmt *Stmts[] = { B, CE };
536  CompoundStmt *CS = M.makeCompound(Stmts);
537 
538  // (4) Create the 'if' condition.
539  ImplicitCastExpr *LValToRval =
540  M.makeLvalueToRvalue(
541  M.makeDereference(
542  M.makeLvalueToRvalue(
543  M.makeDeclRefExpr(Predicate),
544  PredicateQPtrTy),
545  PredicateTy),
546  PredicateTy);
547 
548  Expr *GuardCondition = M.makeComparison(LValToRval, DoneValue, BO_NE);
549  // (5) Create the 'if' statement.
550  auto *If = IfStmt::Create(C, SourceLocation(),
551  /* IsConstexpr=*/false,
552  /* Init=*/nullptr,
553  /* Var=*/nullptr,
554  /* Cond=*/GuardCondition,
555  /* LPL=*/SourceLocation(),
556  /* RPL=*/SourceLocation(),
557  /* Then=*/CS);
558  return If;
559 }
560 
561 /// Create a fake body for dispatch_sync.
563  // Check if we have at least two parameters.
564  if (D->param_size() != 2)
565  return nullptr;
566 
567  // Check if the second parameter is a block.
568  const ParmVarDecl *PV = D->getParamDecl(1);
569  QualType Ty = PV->getType();
570  if (!isDispatchBlock(Ty))
571  return nullptr;
572 
573  // Everything checks out. Create a fake body that just calls the block.
574  // This is basically just an AST dump of:
575  //
576  // void dispatch_sync(dispatch_queue_t queue, void (^block)(void)) {
577  // block();
578  // }
579  //
580  ASTMaker M(C);
581  DeclRefExpr *DR = M.makeDeclRefExpr(PV);
582  ImplicitCastExpr *ICE = M.makeLvalueToRvalue(DR, Ty);
583  CallExpr *CE = CallExpr::Create(C, ICE, None, C.VoidTy, VK_RValue,
585  return CE;
586 }
587 
589 {
590  // There are exactly 3 arguments.
591  if (D->param_size() != 3)
592  return nullptr;
593 
594  // Signature:
595  // _Bool OSAtomicCompareAndSwapPtr(void *__oldValue,
596  // void *__newValue,
597  // void * volatile *__theValue)
598  // Generate body:
599  // if (oldValue == *theValue) {
600  // *theValue = newValue;
601  // return YES;
602  // }
603  // else return NO;
604 
605  QualType ResultTy = D->getReturnType();
606  bool isBoolean = ResultTy->isBooleanType();
607  if (!isBoolean && !ResultTy->isIntegralType(C))
608  return nullptr;
609 
610  const ParmVarDecl *OldValue = D->getParamDecl(0);
611  QualType OldValueTy = OldValue->getType();
612 
613  const ParmVarDecl *NewValue = D->getParamDecl(1);
614  QualType NewValueTy = NewValue->getType();
615 
616  assert(OldValueTy == NewValueTy);
617 
618  const ParmVarDecl *TheValue = D->getParamDecl(2);
619  QualType TheValueTy = TheValue->getType();
620  const PointerType *PT = TheValueTy->getAs<PointerType>();
621  if (!PT)
622  return nullptr;
623  QualType PointeeTy = PT->getPointeeType();
624 
625  ASTMaker M(C);
626  // Construct the comparison.
627  Expr *Comparison =
628  M.makeComparison(
629  M.makeLvalueToRvalue(M.makeDeclRefExpr(OldValue), OldValueTy),
630  M.makeLvalueToRvalue(
631  M.makeDereference(
632  M.makeLvalueToRvalue(M.makeDeclRefExpr(TheValue), TheValueTy),
633  PointeeTy),
634  PointeeTy),
635  BO_EQ);
636 
637  // Construct the body of the IfStmt.
638  Stmt *Stmts[2];
639  Stmts[0] =
640  M.makeAssignment(
641  M.makeDereference(
642  M.makeLvalueToRvalue(M.makeDeclRefExpr(TheValue), TheValueTy),
643  PointeeTy),
644  M.makeLvalueToRvalue(M.makeDeclRefExpr(NewValue), NewValueTy),
645  NewValueTy);
646 
647  Expr *BoolVal = M.makeObjCBool(true);
648  Expr *RetVal = isBoolean ? M.makeIntegralCastToBoolean(BoolVal)
649  : M.makeIntegralCast(BoolVal, ResultTy);
650  Stmts[1] = M.makeReturn(RetVal);
651  CompoundStmt *Body = M.makeCompound(Stmts);
652 
653  // Construct the else clause.
654  BoolVal = M.makeObjCBool(false);
655  RetVal = isBoolean ? M.makeIntegralCastToBoolean(BoolVal)
656  : M.makeIntegralCast(BoolVal, ResultTy);
657  Stmt *Else = M.makeReturn(RetVal);
658 
659  /// Construct the If.
660  auto *If =
662  /* IsConstexpr=*/false,
663  /* Init=*/nullptr,
664  /* Var=*/nullptr, Comparison,
665  /* LPL=*/SourceLocation(),
666  /* RPL=*/SourceLocation(), Body, SourceLocation(), Else);
667 
668  return If;
669 }
670 
672  Optional<Stmt *> &Val = Bodies[D];
673  if (Val.hasValue())
674  return Val.getValue();
675 
676  Val = nullptr;
677 
678  if (D->getIdentifier() == nullptr)
679  return nullptr;
680 
681  StringRef Name = D->getName();
682  if (Name.empty())
683  return nullptr;
684 
685  FunctionFarmer FF;
686 
687  if (Name.startswith("OSAtomicCompareAndSwap") ||
688  Name.startswith("objc_atomicCompareAndSwap")) {
690  } else if (Name == "call_once" && D->getDeclContext()->isStdNamespace()) {
691  FF = create_call_once;
692  } else {
693  FF = llvm::StringSwitch<FunctionFarmer>(Name)
694  .Case("dispatch_sync", create_dispatch_sync)
695  .Case("dispatch_once", create_dispatch_once)
696  .Default(nullptr);
697  }
698 
699  if (FF) { Val = FF(C, D); }
700  else if (Injector) { Val = Injector->getBody(D); }
701  return Val.getValue();
702 }
703 
704 static const ObjCIvarDecl *findBackingIvar(const ObjCPropertyDecl *Prop) {
705  const ObjCIvarDecl *IVar = Prop->getPropertyIvarDecl();
706 
707  if (IVar)
708  return IVar;
709 
710  // When a readonly property is shadowed in a class extensions with a
711  // a readwrite property, the instance variable belongs to the shadowing
712  // property rather than the shadowed property. If there is no instance
713  // variable on a readonly property, check to see whether the property is
714  // shadowed and if so try to get the instance variable from shadowing
715  // property.
716  if (!Prop->isReadOnly())
717  return nullptr;
718 
719  auto *Container = cast<ObjCContainerDecl>(Prop->getDeclContext());
720  const ObjCInterfaceDecl *PrimaryInterface = nullptr;
721  if (auto *InterfaceDecl = dyn_cast<ObjCInterfaceDecl>(Container)) {
722  PrimaryInterface = InterfaceDecl;
723  } else if (auto *CategoryDecl = dyn_cast<ObjCCategoryDecl>(Container)) {
724  PrimaryInterface = CategoryDecl->getClassInterface();
725  } else if (auto *ImplDecl = dyn_cast<ObjCImplDecl>(Container)) {
726  PrimaryInterface = ImplDecl->getClassInterface();
727  } else {
728  return nullptr;
729  }
730 
731  // FindPropertyVisibleInPrimaryClass() looks first in class extensions, so it
732  // is guaranteed to find the shadowing property, if it exists, rather than
733  // the shadowed property.
734  auto *ShadowingProp = PrimaryInterface->FindPropertyVisibleInPrimaryClass(
735  Prop->getIdentifier(), Prop->getQueryKind());
736  if (ShadowingProp && ShadowingProp != Prop) {
737  IVar = ShadowingProp->getPropertyIvarDecl();
738  }
739 
740  return IVar;
741 }
742 
744  const ObjCMethodDecl *MD) {
745  // First, find the backing ivar.
746  const ObjCIvarDecl *IVar = nullptr;
747 
748  // Property accessor stubs sometimes do not correspond to any property decl
749  // in the current interface (but in a superclass). They still have a
750  // corresponding property impl decl in this case.
751  if (MD->isSynthesizedAccessorStub()) {
752  const ObjCInterfaceDecl *IntD = MD->getClassInterface();
753  const ObjCImplementationDecl *ImpD = IntD->getImplementation();
754  for (const auto *PI: ImpD->property_impls()) {
755  if (const ObjCPropertyDecl *P = PI->getPropertyDecl()) {
756  if (P->getGetterName() == MD->getSelector())
757  IVar = P->getPropertyIvarDecl();
758  }
759  }
760  }
761 
762  if (!IVar) {
763  const ObjCPropertyDecl *Prop = MD->findPropertyDecl();
764  IVar = findBackingIvar(Prop);
765  if (!IVar)
766  return nullptr;
767 
768  // Ignore weak variables, which have special behavior.
770  return nullptr;
771 
772  // Look to see if Sema has synthesized a body for us. This happens in
773  // Objective-C++ because the return value may be a C++ class type with a
774  // non-trivial copy constructor. We can only do this if we can find the
775  // @synthesize for this property, though (or if we know it's been auto-
776  // synthesized).
777  const ObjCImplementationDecl *ImplDecl =
779  if (ImplDecl) {
780  for (const auto *I : ImplDecl->property_impls()) {
781  if (I->getPropertyDecl() != Prop)
782  continue;
783 
784  if (I->getGetterCXXConstructor()) {
785  ASTMaker M(Ctx);
786  return M.makeReturn(I->getGetterCXXConstructor());
787  }
788  }
789  }
790 
791  // Sanity check that the property is the same type as the ivar, or a
792  // reference to it, and that it is either an object pointer or trivially
793  // copyable.
794  if (!Ctx.hasSameUnqualifiedType(IVar->getType(),
795  Prop->getType().getNonReferenceType()))
796  return nullptr;
797  if (!IVar->getType()->isObjCLifetimeType() &&
798  !IVar->getType().isTriviallyCopyableType(Ctx))
799  return nullptr;
800  }
801 
802  // Generate our body:
803  // return self->_ivar;
804  ASTMaker M(Ctx);
805 
806  const VarDecl *selfVar = MD->getSelfDecl();
807  if (!selfVar)
808  return nullptr;
809 
810  Expr *loadedIVar =
811  M.makeObjCIvarRef(
812  M.makeLvalueToRvalue(
813  M.makeDeclRefExpr(selfVar),
814  selfVar->getType()),
815  IVar);
816 
817  if (!MD->getReturnType()->isReferenceType())
818  loadedIVar = M.makeLvalueToRvalue(loadedIVar, IVar->getType());
819 
820  return M.makeReturn(loadedIVar);
821 }
822 
824  // We currently only know how to synthesize property accessors.
825  if (!D->isPropertyAccessor())
826  return nullptr;
827 
828  D = D->getCanonicalDecl();
829 
830  // We should not try to synthesize explicitly redefined accessors.
831  // We do not know for sure how they behave.
832  if (!D->isImplicit())
833  return nullptr;
834 
835  Optional<Stmt *> &Val = Bodies[D];
836  if (Val.hasValue())
837  return Val.getValue();
838  Val = nullptr;
839 
840  // For now, we only synthesize getters.
841  // Synthesizing setters would cause false negatives in the
842  // RetainCountChecker because the method body would bind the parameter
843  // to an instance variable, causing it to escape. This would prevent
844  // warning in the following common scenario:
845  //
846  // id foo = [[NSObject alloc] init];
847  // self.foo = foo; // We should warn that foo leaks here.
848  //
849  if (D->param_size() != 0)
850  return nullptr;
851 
852  // If the property was defined in an extension, search the extensions for
853  // overrides.
854  const ObjCInterfaceDecl *OID = D->getClassInterface();
855  if (dyn_cast<ObjCInterfaceDecl>(D->getParent()) != OID)
856  for (auto *Ext : OID->known_extensions()) {
857  auto *OMD = Ext->getInstanceMethod(D->getSelector());
858  if (OMD && !OMD->isImplicit())
859  return nullptr;
860  }
861 
862  Val = createObjCPropertyGetter(C, D);
863 
864  return Val.getValue();
865 }
Defines the clang::ASTContext interface.
ObjCPropertyQueryKind getQueryKind() const
Definition: DeclObjC.h:879
Represents a function declaration or definition.
Definition: Decl.h:1805
PointerType - C99 6.7.5.1 - Pointer Declarators.
Definition: Type.h:2623
QualType getPointeeType() const
Definition: Type.h:2633
A (possibly-)qualified type.
Definition: Type.h:661
unsigned param_size() const
Definition: DeclObjC.h:350
ObjCInterfaceDecl * getClassInterface()
Definition: DeclObjC.cpp:1159
Stmt - This represents one statement.
Definition: Stmt.h:68
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee...
Definition: Type.cpp:625
bool isLogicalOp() const
Definition: Expr.h:3860
Decl - This represents one declaration (or definition), e.g.
Definition: DeclBase.h:89
StringRef P
static Stmt * create_call_once(ASTContext &C, const FunctionDecl *D)
Create a fake body for std::call_once.
Definition: BodyFarm.cpp:314
static CallExpr * create_call_once_funcptr_call(ASTContext &C, ASTMaker M, const ParmVarDecl *Callback, ArrayRef< Expr *> CallArgs)
Definition: BodyFarm.cpp:245
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
Definition: Type.h:6588
The base class of the type hierarchy.
Definition: Type.h:1478
CanQualType LongTy
Definition: ASTContext.h:971
size_t param_size() const
Definition: Decl.h:2448
static bool isDispatchBlock(QualType Ty)
Definition: BodyFarm.cpp:35
Represents a variable declaration or definition.
Definition: Decl.h:834
QualType getReturnType() const
Definition: Decl.h:2486
unsigned getNumParams() const
Definition: Type.h:4086
const T * getAs() const
Member-template getAs<specific type>&#39;.
Definition: Type.h:7116
ObjCMethodDecl - Represents an instance or class method declaration.
Definition: DeclObjC.h:139
Represents a parameter to a function.
Definition: Decl.h:1617
Defines the clang::Expr interface and subclasses for C++ expressions.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Definition: Decl.h:244
Represents a struct/union/class.
Definition: Decl.h:3800
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition: Decl.h:287
One of these records is kept for each identifier that is lexed.
static Stmt * createObjCPropertyGetter(ASTContext &Ctx, const ObjCMethodDecl *MD)
Definition: BodyFarm.cpp:743
QualType getPointeeType() const
Definition: Type.h:2715
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition: ASTContext.h:186
A C++ nested-name-specifier augmented with source location information.
The results of name lookup within a DeclContext.
Definition: DeclBase.h:1227
bool isObjCLifetimeType() const
Returns true if objects of this type have lifetime semantics under ARC.
Definition: Type.cpp:4277
Defines the clang::CodeInjector interface which is responsible for injecting AST of function definiti...
bool isReferenceType() const
Definition: Type.h:6652
An r-value expression (a pr-value in the C++11 taxonomy) produces a temporary value.
Definition: Specifiers.h:110
BinaryOperatorKind
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
bool isTriviallyCopyableType(const ASTContext &Context) const
Return true if this is a trivially copyable type (C++0x [basic.types]p9)
Definition: Type.cpp:2437
A builtin binary operation expression such as "x + y" or "x <= y".
Definition: Expr.h:3727
static CompoundStmt * Create(const ASTContext &C, ArrayRef< Stmt *> Stmts, SourceLocation LB, SourceLocation RB)
Definition: Stmt.cpp:379
bool isRValueReferenceType() const
Definition: Type.h:6660
bool isReadOnly() const
isReadOnly - Return true iff the property has a setter.
Definition: DeclObjC.h:855
bool isLambda() const
Determine whether this class describes a lambda function object.
Definition: DeclCXX.h:986
static IntegerLiteral * Create(const ASTContext &C, const llvm::APInt &V, QualType type, SourceLocation l)
Returns a new integer literal with value &#39;V&#39; and type &#39;type&#39;.
Definition: Expr.cpp:817
An ordinary object is located at an address in memory.
Definition: Specifiers.h:126
Represents an ObjC class declaration.
Definition: DeclObjC.h:1170
This is an odr-use.
Definition: Specifiers.h:150
QualType getReturnType() const
Definition: DeclObjC.h:332
Stmt *(* FunctionFarmer)(ASTContext &C, const FunctionDecl *D)
Definition: BodyFarm.cpp:243
ObjCMethodDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Definition: DeclObjC.cpp:960
static MemberExpr * Create(const ASTContext &C, Expr *Base, bool IsArrow, SourceLocation OperatorLoc, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, ValueDecl *MemberDecl, DeclAccessPair FoundDecl, DeclarationNameInfo MemberNameInfo, const TemplateArgumentListInfo *TemplateArgs, QualType T, ExprValueKind VK, ExprObjectKind OK, NonOdrUseReason NOUR)
Definition: Expr.cpp:1503
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
Definition: DeclBase.cpp:1669
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
Definition: Type.cpp:1757
CompoundStmt - This represents a group of statements like { stmt stmt }.
Definition: Stmt.h:1398
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
Definition: Type.cpp:1753
Represents a prototype with parameter type info, e.g.
Definition: Type.h:3876
CastKind
CastKind - The kind of operation required for a conversion.
Represents difference between two FPOptions values.
Definition: LangOptions.h:497
static const ObjCIvarDecl * findBackingIvar(const ObjCPropertyDecl *Prop)
Definition: BodyFarm.cpp:704
A single parameter index whose accessors require each use to make explicit the parameter index encodi...
Definition: Attr.h:213
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
Definition: Decl.h:634
This represents one expression.
Definition: Expr.h:109
known_extensions_range known_extensions() const
Definition: DeclObjC.h:1759
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
Definition: Specifiers.h:107
static ImplicitCastExpr * Create(const ASTContext &Context, QualType T, CastKind Kind, Expr *Operand, const CXXCastPath *BasePath, ExprValueKind Cat, FPOptionsOverride FPO)
Definition: Expr.cpp:1845
static BinaryOperator * Create(const ASTContext &C, Expr *lhs, Expr *rhs, Opcode opc, QualType ResTy, ExprValueKind VK, ExprObjectKind OK, SourceLocation opLoc, FPOptionsOverride FPFeatures)
Definition: Expr.cpp:4361
bool isImplicit() const
isImplicit - Indicates whether the declaration was implicitly generated by the implementation.
Definition: DeclBase.h:563
Defines an enumeration for C++ overloaded operators.
DeclContext * getDeclContext()
Definition: DeclBase.h:439
ObjCPropertyDecl * FindPropertyVisibleInPrimaryClass(IdentifierInfo *PropertyId, ObjCPropertyQueryKind QueryKind) const
FindPropertyVisibleInPrimaryClass - Finds declaration of the property with name &#39;PropertyId&#39; in the p...
Definition: DeclObjC.cpp:370
static IfStmt * Create(const ASTContext &Ctx, SourceLocation IL, bool IsConstexpr, Stmt *Init, VarDecl *Var, Expr *Cond, SourceLocation LPL, SourceLocation RPL, Stmt *Then, SourceLocation EL=SourceLocation(), Stmt *Else=nullptr)
Create an IfStmt.
Definition: Stmt.cpp:943
QualType getType() const
Definition: Expr.h:141
bool isFunctionOrMethod() const
Definition: DeclBase.h:1867
static CallExpr * Create(const ASTContext &Ctx, Expr *Fn, ArrayRef< Expr *> Args, QualType Ty, ExprValueKind VK, SourceLocation RParenLoc, FPOptionsOverride FPFeatures, unsigned MinNumArgs=0, ADLCallKind UsesADL=NotADL)
Create a call expression.
Definition: Expr.cpp:1278
propimpl_range property_impls() const
Definition: DeclObjC.h:2473
DeclContext * getParent()
getParent - Returns the containing DeclContext.
Definition: DeclBase.h:1815
ReturnStmt - This represents a return, optionally of an expression: return; return 4;...
Definition: Stmt.h:2727
static Stmt * create_OSAtomicCompareAndSwap(ASTContext &C, const FunctionDecl *D)
Definition: BodyFarm.cpp:588
UnaryOperator - This represents the unary-expression&#39;s (except sizeof and alignof), the postinc/postdec operators from postfix-expression, and various extensions.
Definition: Expr.h:2093
Selector getSelector() const
Definition: DeclObjC.h:330
bool isNull() const
Return true if this QualType doesn&#39;t point to a type yet.
Definition: Type.h:726
ImplicitParamDecl * getSelfDecl() const
Definition: DeclObjC.h:423
QualType getType() const
Definition: DeclObjC.h:821
bool isComparisonOp() const
Definition: Expr.h:3827
bool isSynthesizedAccessorStub() const
Definition: DeclObjC.h:449
QualType getCanonicalType() const
Definition: Type.h:6431
Encodes a location in the source.
QualType getReturnType() const
Definition: Type.h:3800
static Stmt * create_dispatch_sync(ASTContext &C, const FunctionDecl *D)
Create a fake body for dispatch_sync.
Definition: BodyFarm.cpp:562
static CallExpr * create_call_once_lambda_call(ASTContext &C, ASTMaker M, const ParmVarDecl *Callback, CXXRecordDecl *CallbackDecl, ArrayRef< Expr *> CallArgs)
Definition: BodyFarm.cpp:271
bool isIntegralType(const ASTContext &Ctx) const
Determine whether this type is an integral type.
Definition: Type.cpp:1915
bool isStdNamespace() const
Definition: DeclBase.cpp:1125
const ParmVarDecl * getParamDecl(unsigned i) const
Definition: Decl.h:2455
CanQualType VoidTy
Definition: ASTContext.h:962
llvm::APInt APInt
Definition: Integral.h:27
Represents one property declaration in an Objective-C interface.
Definition: DeclObjC.h:749
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
Definition: Expr.h:3542
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language...
Definition: Expr.h:272
ObjCImplementationDecl * getImplementation() const
Definition: DeclObjC.cpp:1585
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
Definition: ASTContext.h:2379
A POD class for pairing a NamedDecl* with an access specifier.
static Stmt * create_dispatch_once(ASTContext &C, const FunctionDecl *D)
Create a fake body for dispatch_once.
Definition: BodyFarm.cpp:477
Dataflow Directional Tag Classes.
CXXMethodDecl * getLambdaCallOperator() const
Retrieve the lambda call operator of the closure type if this is a closure type.
Definition: DeclCXX.cpp:1497
static ReturnStmt * Create(const ASTContext &Ctx, SourceLocation RL, Expr *E, const VarDecl *NRVOCandidate)
Create a return statement.
Definition: Stmt.cpp:1181
The name of a declaration.
bool isBooleanType() const
Definition: Type.h:7035
Stmt * getBody(const FunctionDecl *D)
Factory method for creating bodies for ordinary functions.
Definition: BodyFarm.cpp:671
const ObjCInterfaceDecl * getContainingInterface() const
Return the class interface that this ivar is logically contained in; this is either the interface whe...
Definition: DeclObjC.cpp:1826
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspnd...
Pointer to a block type.
Definition: Type.h:2703
ObjCImplementationDecl - Represents a class definition - this is where method definitions are specifi...
Definition: DeclObjC.h:2558
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
Definition: Type.h:6951
static DeclRefExpr * Create(const ASTContext &Context, NestedNameSpecifierLoc QualifierLoc, SourceLocation TemplateKWLoc, ValueDecl *D, bool RefersToEnclosingVariableOrCapture, SourceLocation NameLoc, QualType T, ExprValueKind VK, NamedDecl *FoundD=nullptr, const TemplateArgumentListInfo *TemplateArgs=nullptr, NonOdrUseReason NOUR=NOUR_None)
Definition: Expr.cpp:433
bool isFunctionType() const
Definition: Type.h:6636
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat]...
Definition: APValue.h:118
ObjCIvarRefExpr - A reference to an ObjC instance variable.
Definition: ExprObjC.h:548
bool isLValueReferenceType() const
Definition: Type.h:6656
const ObjCPropertyDecl * findPropertyDecl(bool CheckOverrides=true) const
Returns the property associated with this method&#39;s selector.
Definition: DeclObjC.cpp:1326
QualType getParamType(unsigned i) const
Definition: Type.h:4088
MemberExpr - [C99 6.5.2.3] Structure and Union Members.
Definition: Expr.h:3086
Represents a C++ struct/union/class.
Definition: DeclCXX.h:254
bool isVoidType() const
Definition: Type.h:6923
static CXXOperatorCallExpr * Create(const ASTContext &Ctx, OverloadedOperatorKind OpKind, Expr *Fn, ArrayRef< Expr *> Args, QualType Ty, ExprValueKind VK, SourceLocation OperatorLoc, FPOptionsOverride FPFeatures, ADLCallKind UsesADL=NotADL)
Definition: ExprCXX.cpp:557
ObjCIvarDecl - Represents an ObjC instance variable.
Definition: DeclObjC.h:1943
ObjCIvarDecl * getPropertyIvarDecl() const
Definition: DeclObjC.h:943
ObjCPropertyAttribute::Kind getPropertyAttributes() const
Definition: DeclObjC.h:832
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
Definition: Expr.h:2730
StringRef getName() const
Get the name of identifier for this declaration as a StringRef.
Definition: Decl.h:250
CanQualType IntTy
Definition: ASTContext.h:971
ObjCBoolLiteralExpr - Objective-C Boolean Literal.
Definition: ExprObjC.h:88
A reference to a declared variable, function, enum, etc.
Definition: Expr.h:1213
bool isPointerType() const
Definition: Type.h:6640
BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...
QualType getType() const
Definition: Decl.h:645
An l-value expression is a reference to an object with independent storage.
Definition: Specifiers.h:114
static UnaryOperator * Create(const ASTContext &C, Expr *input, Opcode opc, QualType type, ExprValueKind VK, ExprObjectKind OK, SourceLocation l, bool CanOverflow, FPOptionsOverride FPFeatures)
Definition: Expr.cpp:4418
This represents a decl that may have a name.
Definition: Decl.h:223
ObjCMethodDecl * getInstanceMethod(Selector Sel, bool AllowHidden=false) const
Definition: DeclObjC.h:1085
bool isPropertyAccessor() const
Definition: DeclObjC.h:441
unsigned getNumParams() const
Return the number of parameters this function must have based on its FunctionType.
Definition: Decl.cpp:3311
Comparison