1*0b57cec5SDimitry Andric //=== Move.h - Tracking moved-from objects. ------------------------*- C++ -*-// 2*0b57cec5SDimitry Andric // 3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*0b57cec5SDimitry Andric // 7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 8*0b57cec5SDimitry Andric // 9*0b57cec5SDimitry Andric // Defines inter-checker API for the use-after-move checker. It allows 10*0b57cec5SDimitry Andric // dependent checkers to figure out if an object is in a moved-from state. 11*0b57cec5SDimitry Andric // 12*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 13*0b57cec5SDimitry Andric 14*0b57cec5SDimitry Andric #ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MOVE_H 15*0b57cec5SDimitry Andric #define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MOVE_H 16*0b57cec5SDimitry Andric 17*0b57cec5SDimitry Andric #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h" 18*0b57cec5SDimitry Andric 19*0b57cec5SDimitry Andric namespace clang { 20*0b57cec5SDimitry Andric namespace ento { 21*0b57cec5SDimitry Andric namespace move { 22*0b57cec5SDimitry Andric 23*0b57cec5SDimitry Andric /// Returns true if the object is known to have been recently std::moved. 24*0b57cec5SDimitry Andric bool isMovedFrom(ProgramStateRef State, const MemRegion *Region); 25*0b57cec5SDimitry Andric 26*0b57cec5SDimitry Andric } // namespace move 27*0b57cec5SDimitry Andric } // namespace ento 28*0b57cec5SDimitry Andric } // namespace clang 29*0b57cec5SDimitry Andric 30*0b57cec5SDimitry Andric #endif // LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MOVE_H 31