15ffd83dbSDimitry Andric //=======- ASTUtils.cpp ------------------------------------------*- C++ -*-==// 25ffd83dbSDimitry Andric // 35ffd83dbSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 45ffd83dbSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 55ffd83dbSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65ffd83dbSDimitry Andric // 75ffd83dbSDimitry Andric //===----------------------------------------------------------------------===// 85ffd83dbSDimitry Andric 95ffd83dbSDimitry Andric #include "ASTUtils.h" 105ffd83dbSDimitry Andric #include "PtrTypesSemantics.h" 115ffd83dbSDimitry Andric #include "clang/AST/CXXInheritance.h" 125ffd83dbSDimitry Andric #include "clang/AST/Decl.h" 135ffd83dbSDimitry Andric #include "clang/AST/DeclCXX.h" 145ffd83dbSDimitry Andric #include "clang/AST/ExprCXX.h" 155ffd83dbSDimitry Andric 165ffd83dbSDimitry Andric using llvm::Optional; 175ffd83dbSDimitry Andric namespace clang { 185ffd83dbSDimitry Andric 195ffd83dbSDimitry Andric std::pair<const Expr *, bool> 205ffd83dbSDimitry Andric tryToFindPtrOrigin(const Expr *E, bool StopAtFirstRefCountedObj) { 215ffd83dbSDimitry Andric while (E) { 225ffd83dbSDimitry Andric if (auto *cast = dyn_cast<CastExpr>(E)) { 235ffd83dbSDimitry Andric if (StopAtFirstRefCountedObj) { 245ffd83dbSDimitry Andric if (auto *ConversionFunc = 255ffd83dbSDimitry Andric dyn_cast_or_null<FunctionDecl>(cast->getConversionFunction())) { 265ffd83dbSDimitry Andric if (isCtorOfRefCounted(ConversionFunc)) 275ffd83dbSDimitry Andric return {E, true}; 285ffd83dbSDimitry Andric } 295ffd83dbSDimitry Andric } 305ffd83dbSDimitry Andric // FIXME: This can give false "origin" that would lead to false negatives 315ffd83dbSDimitry Andric // in checkers. See https://reviews.llvm.org/D37023 for reference. 325ffd83dbSDimitry Andric E = cast->getSubExpr(); 335ffd83dbSDimitry Andric continue; 345ffd83dbSDimitry Andric } 355ffd83dbSDimitry Andric if (auto *call = dyn_cast<CallExpr>(E)) { 365ffd83dbSDimitry Andric if (auto *memberCall = dyn_cast<CXXMemberCallExpr>(call)) { 37*e8d8bef9SDimitry Andric Optional<bool> IsGetterOfRefCt = 38*e8d8bef9SDimitry Andric isGetterOfRefCounted(memberCall->getMethodDecl()); 39*e8d8bef9SDimitry Andric if (IsGetterOfRefCt && *IsGetterOfRefCt) { 405ffd83dbSDimitry Andric E = memberCall->getImplicitObjectArgument(); 415ffd83dbSDimitry Andric if (StopAtFirstRefCountedObj) { 425ffd83dbSDimitry Andric return {E, true}; 435ffd83dbSDimitry Andric } 445ffd83dbSDimitry Andric continue; 455ffd83dbSDimitry Andric } 465ffd83dbSDimitry Andric } 475ffd83dbSDimitry Andric 485ffd83dbSDimitry Andric if (auto *operatorCall = dyn_cast<CXXOperatorCallExpr>(E)) { 495ffd83dbSDimitry Andric if (operatorCall->getNumArgs() == 1) { 505ffd83dbSDimitry Andric E = operatorCall->getArg(0); 515ffd83dbSDimitry Andric continue; 525ffd83dbSDimitry Andric } 535ffd83dbSDimitry Andric } 545ffd83dbSDimitry Andric 555ffd83dbSDimitry Andric if (auto *callee = call->getDirectCallee()) { 565ffd83dbSDimitry Andric if (isCtorOfRefCounted(callee)) { 575ffd83dbSDimitry Andric if (StopAtFirstRefCountedObj) 585ffd83dbSDimitry Andric return {E, true}; 595ffd83dbSDimitry Andric 605ffd83dbSDimitry Andric E = call->getArg(0); 615ffd83dbSDimitry Andric continue; 625ffd83dbSDimitry Andric } 635ffd83dbSDimitry Andric 645ffd83dbSDimitry Andric if (isPtrConversion(callee)) { 655ffd83dbSDimitry Andric E = call->getArg(0); 665ffd83dbSDimitry Andric continue; 675ffd83dbSDimitry Andric } 685ffd83dbSDimitry Andric } 695ffd83dbSDimitry Andric } 705ffd83dbSDimitry Andric if (auto *unaryOp = dyn_cast<UnaryOperator>(E)) { 715ffd83dbSDimitry Andric // FIXME: Currently accepts ANY unary operator. Is it OK? 725ffd83dbSDimitry Andric E = unaryOp->getSubExpr(); 735ffd83dbSDimitry Andric continue; 745ffd83dbSDimitry Andric } 755ffd83dbSDimitry Andric 765ffd83dbSDimitry Andric break; 775ffd83dbSDimitry Andric } 785ffd83dbSDimitry Andric // Some other expression. 795ffd83dbSDimitry Andric return {E, false}; 805ffd83dbSDimitry Andric } 815ffd83dbSDimitry Andric 825ffd83dbSDimitry Andric bool isASafeCallArg(const Expr *E) { 835ffd83dbSDimitry Andric assert(E); 845ffd83dbSDimitry Andric if (auto *Ref = dyn_cast<DeclRefExpr>(E)) { 855ffd83dbSDimitry Andric if (auto *D = dyn_cast_or_null<VarDecl>(Ref->getFoundDecl())) { 865ffd83dbSDimitry Andric if (isa<ParmVarDecl>(D) || D->isLocalVarDecl()) 875ffd83dbSDimitry Andric return true; 885ffd83dbSDimitry Andric } 895ffd83dbSDimitry Andric } 905ffd83dbSDimitry Andric 915ffd83dbSDimitry Andric // TODO: checker for method calls on non-refcounted objects 925ffd83dbSDimitry Andric return isa<CXXThisExpr>(E); 935ffd83dbSDimitry Andric } 945ffd83dbSDimitry Andric 955ffd83dbSDimitry Andric } // namespace clang 96