llvm/clang/lib/StaticAnalyzer/Core/CallDescription.cpp

//===- CallDescription.cpp - function/method call matching     --*- 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
//
//===----------------------------------------------------------------------===//
//
/// \file This file defines a generic mechanism for matching for function and
/// method calls of C, C++, and Objective-C languages. Instances of these
/// classes are frequently used together with the CallEvent classes.
//
//===----------------------------------------------------------------------===//

#include "clang/StaticAnalyzer/Core/PathSensitive/CallDescription.h"
#include "clang/AST/Decl.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "llvm/ADT/ArrayRef.h"
#include <iterator>
#include <optional>

usingnamespacellvm;
usingnamespaceclang;

MaybeCount;

// A constructor helper.
static MaybeCount readRequiredParams(MaybeCount RequiredArgs,
                                     MaybeCount RequiredParams) { … }

ento::CallDescription::CallDescription(Mode MatchAs,
                                       ArrayRef<StringRef> QualifiedName,
                                       MaybeCount RequiredArgs /*= None*/,
                                       MaybeCount RequiredParams /*= None*/)
    : … { … }

bool ento::CallDescription::matches(const CallEvent &Call) const { … }

bool ento::CallDescription::matchesAsWritten(const CallExpr &CE) const { … }

bool ento::CallDescription::matchNameOnly(const NamedDecl *ND) const { … }

bool ento::CallDescription::matchQualifiedNameParts(const Decl *D) const { … }

bool ento::CallDescription::matchesImpl(const FunctionDecl *FD, size_t ArgCount,
                                        size_t ParamCount) const { … }

ento::CallDescriptionSet::CallDescriptionSet(
    std::initializer_list<CallDescription> &&List) { … }

bool ento::CallDescriptionSet::contains(const CallEvent &Call) const { … }

bool ento::CallDescriptionSet::containsAsWritten(const CallExpr &CE) const { … }