1*0fca6ea1SDimitry Andric //===--- InterpShared.cpp ---------------------------------------*- C++ -*-===// 2*0fca6ea1SDimitry Andric // 3*0fca6ea1SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0fca6ea1SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0fca6ea1SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0fca6ea1SDimitry Andric // 7*0fca6ea1SDimitry Andric //===----------------------------------------------------------------------===// 8*0fca6ea1SDimitry Andric 9*0fca6ea1SDimitry Andric #include "InterpShared.h" 10*0fca6ea1SDimitry Andric #include "clang/AST/Attr.h" 11*0fca6ea1SDimitry Andric #include "llvm/ADT/BitVector.h" 12*0fca6ea1SDimitry Andric 13*0fca6ea1SDimitry Andric namespace clang { 14*0fca6ea1SDimitry Andric namespace interp { 15*0fca6ea1SDimitry Andric 16*0fca6ea1SDimitry Andric llvm::BitVector collectNonNullArgs(const FunctionDecl *F, 17*0fca6ea1SDimitry Andric const llvm::ArrayRef<const Expr *> &Args) { 18*0fca6ea1SDimitry Andric llvm::BitVector NonNullArgs; 19*0fca6ea1SDimitry Andric if (!F) 20*0fca6ea1SDimitry Andric return NonNullArgs; 21*0fca6ea1SDimitry Andric 22*0fca6ea1SDimitry Andric assert(F); 23*0fca6ea1SDimitry Andric NonNullArgs.resize(Args.size()); 24*0fca6ea1SDimitry Andric 25*0fca6ea1SDimitry Andric for (const auto *Attr : F->specific_attrs<NonNullAttr>()) { 26*0fca6ea1SDimitry Andric if (!Attr->args_size()) { 27*0fca6ea1SDimitry Andric NonNullArgs.set(); 28*0fca6ea1SDimitry Andric break; 29*0fca6ea1SDimitry Andric } else 30*0fca6ea1SDimitry Andric for (auto Idx : Attr->args()) { 31*0fca6ea1SDimitry Andric unsigned ASTIdx = Idx.getASTIndex(); 32*0fca6ea1SDimitry Andric if (ASTIdx >= Args.size()) 33*0fca6ea1SDimitry Andric continue; 34*0fca6ea1SDimitry Andric NonNullArgs[ASTIdx] = true; 35*0fca6ea1SDimitry Andric } 36*0fca6ea1SDimitry Andric } 37*0fca6ea1SDimitry Andric 38*0fca6ea1SDimitry Andric return NonNullArgs; 39*0fca6ea1SDimitry Andric } 40*0fca6ea1SDimitry Andric 41*0fca6ea1SDimitry Andric } // namespace interp 42*0fca6ea1SDimitry Andric } // namespace clang 43