clang
20.0.0git
lib
StaticAnalyzer
Checkers
Move.h
Go to the documentation of this file.
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
19
namespace
clang
{
20
namespace
ento {
21
namespace
move {
22
23
/// Returns true if the object is known to have been recently std::moved.
24
bool
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
ProgramState.h
clang::ento::MemRegion
MemRegion - The root abstract class for all memory regions.
Definition:
MemRegion.h:97
llvm::IntrusiveRefCntPtr< const ProgramState >
clang::ento::move::isMovedFrom
bool isMovedFrom(ProgramStateRef State, const MemRegion *Region)
Returns true if the object is known to have been recently std::moved.
Definition:
MoveChecker.cpp:235
clang
The JSON file list parser is used to communicate input to InstallAPI.
Definition:
CalledOnceCheck.h:17
Generated on Mon Nov 11 2024 10:08:14 for clang by
1.9.6