head 1.1; branch 1.1.1; access; symbols netbsd-11-0-RC4:1.1.1.2 netbsd-11-0-RC3:1.1.1.2 netbsd-11-0-RC2:1.1.1.2 netbsd-11-0-RC1:1.1.1.2 perseant-exfatfs-base-20250801:1.1.1.2 netbsd-11:1.1.1.2.0.8 netbsd-11-base:1.1.1.2 netbsd-10-1-RELEASE:1.1.1.2 perseant-exfatfs-base-20240630:1.1.1.2 perseant-exfatfs:1.1.1.2.0.6 perseant-exfatfs-base:1.1.1.2 netbsd-10-0-RELEASE:1.1.1.2 netbsd-10-0-RC6:1.1.1.2 netbsd-10-0-RC5:1.1.1.2 netbsd-10-0-RC4:1.1.1.2 netbsd-10-0-RC3:1.1.1.2 netbsd-10-0-RC2:1.1.1.2 netbsd-10-0-RC1:1.1.1.2 netbsd-10:1.1.1.2.0.4 netbsd-10-base:1.1.1.2 cjep_sun2x-base1:1.1.1.2 cjep_sun2x:1.1.1.2.0.2 cjep_sun2x-base:1.1.1.2 cjep_staticlib_x-base1:1.1.1.2 LLVM-249b40b558955afe5ac2b549edcf2d7f859c8cc9:1.1.1.2 cjep_staticlib_x:1.1.1.1.0.4 cjep_staticlib_x-base:1.1.1.1 phil-wifi-20200421:1.1.1.1 phil-wifi-20200411:1.1.1.1 is-mlppp:1.1.1.1.0.2 is-mlppp-base:1.1.1.1 phil-wifi-20200406:1.1.1.1 phil-wifi-20191119:1.1.1.1 LLVM-01f3a59fb3e2542fce74c768718f594d0debd0da:1.1.1.1 LLVM:1.1.1; locks; strict; comment @// @; 1.1 date 2019.11.08.14.30.07; author joerg; state Exp; branches 1.1.1.1; next ; commitid lIv69tfiG0KHw3KB; 1.1.1.1 date 2019.11.08.14.30.07; author joerg; state Exp; branches 1.1.1.1.4.1; next 1.1.1.2; commitid lIv69tfiG0KHw3KB; 1.1.1.2 date 2021.05.30.01.25.28; author joerg; state Exp; branches; next ; commitid uhgdinROdC6tU6VC; 1.1.1.1.4.1 date 2021.05.31.22.07.20; author cjep; state Exp; branches; next ; commitid eWz9SBW0XqKjJlVC; desc @@ 1.1 log @Initial revision @ text @//===---- CheckerHelpers.cpp - Helper functions for checkers ----*- C++ -*-===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // This file defines several static functions for use in checkers. // //===----------------------------------------------------------------------===// #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h" #include "clang/AST/Decl.h" #include "clang/AST/Expr.h" namespace clang { namespace ento { // Recursively find any substatements containing macros bool containsMacro(const Stmt *S) { if (S->getBeginLoc().isMacroID()) return true; if (S->getEndLoc().isMacroID()) return true; for (const Stmt *Child : S->children()) if (Child && containsMacro(Child)) return true; return false; } // Recursively find any substatements containing enum constants bool containsEnum(const Stmt *S) { const DeclRefExpr *DR = dyn_cast(S); if (DR && isa(DR->getDecl())) return true; for (const Stmt *Child : S->children()) if (Child && containsEnum(Child)) return true; return false; } // Recursively find any substatements containing static vars bool containsStaticLocal(const Stmt *S) { const DeclRefExpr *DR = dyn_cast(S); if (DR) if (const VarDecl *VD = dyn_cast(DR->getDecl())) if (VD->isStaticLocal()) return true; for (const Stmt *Child : S->children()) if (Child && containsStaticLocal(Child)) return true; return false; } // Recursively find any substatements containing __builtin_offsetof bool containsBuiltinOffsetOf(const Stmt *S) { if (isa(S)) return true; for (const Stmt *Child : S->children()) if (Child && containsBuiltinOffsetOf(Child)) return true; return false; } // Extract lhs and rhs from assignment statement std::pair parseAssignment(const Stmt *S) { const VarDecl *VD = nullptr; const Expr *RHS = nullptr; if (auto Assign = dyn_cast_or_null(S)) { if (Assign->isAssignmentOp()) { // Ordinary assignment RHS = Assign->getRHS(); if (auto DE = dyn_cast_or_null(Assign->getLHS())) VD = dyn_cast_or_null(DE->getDecl()); } } else if (auto PD = dyn_cast_or_null(S)) { // Initialization assert(PD->isSingleDecl() && "We process decls one by one"); VD = cast(PD->getSingleDecl()); RHS = VD->getAnyInitializer(); } return std::make_pair(VD, RHS); } Nullability getNullabilityAnnotation(QualType Type) { const auto *AttrType = Type->getAs(); if (!AttrType) return Nullability::Unspecified; if (AttrType->getAttrKind() == attr::TypeNullable) return Nullability::Nullable; else if (AttrType->getAttrKind() == attr::TypeNonNull) return Nullability::Nonnull; return Nullability::Unspecified; } } // end namespace ento } // end namespace clang @ 1.1.1.1 log @Import 01f3a59fb3e2542fce74c768718f594d0debd0da from the LLVM mono-repo: clang (without test/, unittests/, www/) llvm (without test/, unittests/) @ text @@ 1.1.1.1.4.1 log @sync with head @ text @a15 1 #include "clang/Lex/Preprocessor.h" a111 37 llvm::Optional tryExpandAsInteger(StringRef Macro, const Preprocessor &PP) { const auto *MacroII = PP.getIdentifierInfo(Macro); if (!MacroII) return llvm::None; const MacroInfo *MI = PP.getMacroInfo(MacroII); if (!MI) return llvm::None; // Filter out parens. std::vector FilteredTokens; FilteredTokens.reserve(MI->tokens().size()); for (auto &T : MI->tokens()) if (!T.isOneOf(tok::l_paren, tok::r_paren)) FilteredTokens.push_back(T); // Parse an integer at the end of the macro definition. const Token &T = FilteredTokens.back(); // FIXME: EOF macro token coming from a PCH file on macOS while marked as // literal, doesn't contain any literal data if (!T.isLiteral() || !T.getLiteralData()) return llvm::None; StringRef ValueStr = StringRef(T.getLiteralData(), T.getLength()); llvm::APInt IntValue; constexpr unsigned AutoSenseRadix = 0; if (ValueStr.getAsInteger(AutoSenseRadix, IntValue)) return llvm::None; // Parse an optional minus sign. size_t Size = FilteredTokens.size(); if (Size >= 2) { if (FilteredTokens[Size - 2].is(tok::minus)) IntValue = -IntValue; } return IntValue.getSExtValue(); } d113 2 a114 2 } // namespace ento } // namespace clang @ 1.1.1.2 log @Import clang 249b40b558955afe5ac2b549edcf2d7f859c8cc9. @ text @a15 1 #include "clang/Lex/Preprocessor.h" a111 37 llvm::Optional tryExpandAsInteger(StringRef Macro, const Preprocessor &PP) { const auto *MacroII = PP.getIdentifierInfo(Macro); if (!MacroII) return llvm::None; const MacroInfo *MI = PP.getMacroInfo(MacroII); if (!MI) return llvm::None; // Filter out parens. std::vector FilteredTokens; FilteredTokens.reserve(MI->tokens().size()); for (auto &T : MI->tokens()) if (!T.isOneOf(tok::l_paren, tok::r_paren)) FilteredTokens.push_back(T); // Parse an integer at the end of the macro definition. const Token &T = FilteredTokens.back(); // FIXME: EOF macro token coming from a PCH file on macOS while marked as // literal, doesn't contain any literal data if (!T.isLiteral() || !T.getLiteralData()) return llvm::None; StringRef ValueStr = StringRef(T.getLiteralData(), T.getLength()); llvm::APInt IntValue; constexpr unsigned AutoSenseRadix = 0; if (ValueStr.getAsInteger(AutoSenseRadix, IntValue)) return llvm::None; // Parse an optional minus sign. size_t Size = FilteredTokens.size(); if (Size >= 2) { if (FilteredTokens[Size - 2].is(tok::minus)) IntValue = -IntValue; } return IntValue.getSExtValue(); } d113 2 a114 2 } // namespace ento } // namespace clang @