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