lib/Analysis/BodyFarm.cpp

18 #include "clang/AST/Expr.h"
48   BinaryOperator *makeAssignment(const Expr *LHS, const Expr *RHS, QualType Ty);
51   BinaryOperator *makeComparison(const Expr *LHS, const Expr *RHS,
61   UnaryOperator *makeDereference(const Expr *Arg, QualType Ty);
64   Expr *makeIntegralCast(const Expr *Arg, QualType Ty);
67   ImplicitCastExpr *makeIntegralCastToBoolean(const Expr *Arg);
70   ImplicitCastExpr *makeLvalueToRvalue(const Expr *Arg, QualType Ty);
76   ObjCIvarRefExpr *makeObjCIvarRef(const Expr *Base, const ObjCIvarDecl *IVar);
79   ReturnStmt *makeReturn(const Expr *RetVal);
86 BinaryOperator *ASTMaker::makeAssignment(const Expr *LHS, const Expr *RHS,
88  return new (C) BinaryOperator(const_cast<Expr*>(LHS), const_cast<Expr*>(RHS),
93 BinaryOperator *ASTMaker::makeComparison(const Expr *LHS, const Expr *RHS,
97   return new (C) BinaryOperator(const_cast<Expr*>(LHS),
98                                 const_cast<Expr*>(RHS),
122 UnaryOperator *ASTMaker::makeDereference(const Expr *Arg, QualType Ty) {
123   return new (C) UnaryOperator(const_cast<Expr*>(Arg), UO_Deref, Ty,
127 ImplicitCastExpr *ASTMaker::makeLvalueToRvalue(const Expr *Arg, QualType Ty) {
129                                   const_cast<Expr*>(Arg), nullptr, VK_RValue);
132 Expr *ASTMaker::makeIntegralCast(const Expr *Arg, QualType Ty) {
134     return const_cast<Expr*>(Arg);
137                                   const_cast<Expr*>(Arg), nullptr, VK_RValue);
140 ImplicitCastExpr *ASTMaker::makeIntegralCastToBoolean(const Expr *Arg) {
142                                   const_cast<Expr*>(Arg), nullptr, VK_RValue);
150 ObjCIvarRefExpr *ASTMaker::makeObjCIvarRef(const Expr *Base,
154                                  SourceLocation(), const_cast<Expr*>(Base),
159 ReturnStmt *ASTMaker::makeReturn(const Expr *RetVal) {
160   return new (C) ReturnStmt(SourceLocation(), const_cast<Expr*>(RetVal),
312   Expr *Comparison =
332   Expr *BoolVal = M.makeObjCBool(true);
333   Expr *RetVal = isBoolean ? M.makeIntegralCastToBoolean(BoolVal)
432   Expr *loadedIVar =