forked from OSchip/llvm-project
Updated two annotations for Store.h and CodeGenFunction.h.
Summary: 1.Updated annotations for include/clang/StaticAnalyzer/Core/PathSensitive/Store.h, which belong to the old version of clang. 2.Delete annotations for CodeGenFunction::getEvaluationKind() in clang/lib/CodeGen/CodeGenFunction.h, which belong to the old version of clang. Reviewers: bkramer, krasimir, klimek Reviewed By: bkramer Subscribers: MTC Differential Revision: https://reviews.llvm.org/D36330 Contributed by @MTC! llvm-svn: 312790
This commit is contained in:
parent
9a2da39837
commit
46dfb7a39d
|
@ -51,7 +51,7 @@ public:
|
|||
virtual ~StoreManager() {}
|
||||
|
||||
/// Return the value bound to specified location in a given state.
|
||||
/// \param[in] store The analysis state.
|
||||
/// \param[in] store The store in which to make the lookup.
|
||||
/// \param[in] loc The symbolic memory location.
|
||||
/// \param[in] T An optional type that provides a hint indicating the
|
||||
/// expected type of the returned value. This is used if the value is
|
||||
|
@ -83,12 +83,12 @@ public:
|
|||
return getDefaultBinding(lcv.getStore(), lcv.getRegion());
|
||||
}
|
||||
|
||||
/// Return a state with the specified value bound to the given location.
|
||||
/// \param[in] store The analysis state.
|
||||
/// Return a store with the specified value bound to the given location.
|
||||
/// \param[in] store The store in which to make the binding.
|
||||
/// \param[in] loc The symbolic memory location.
|
||||
/// \param[in] val The value to bind to location \c loc.
|
||||
/// \return A pointer to a ProgramState object that contains the same
|
||||
/// bindings as \c state with the addition of having the value specified
|
||||
/// \return A StoreRef object that contains the same
|
||||
/// bindings as \c store with the addition of having the value specified
|
||||
/// by \c val bound to the location given for \c loc.
|
||||
virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
|
||||
|
||||
|
|
|
@ -1818,8 +1818,7 @@ public:
|
|||
/// TypeOfSelfObject - Return type of object that this self represents.
|
||||
QualType TypeOfSelfObject();
|
||||
|
||||
/// hasAggregateLLVMType - Return true if the specified AST type will map into
|
||||
/// an aggregate LLVM type or is void.
|
||||
/// getEvaluationKind - Return the TypeEvaluationKind of QualType \c T.
|
||||
static TypeEvaluationKind getEvaluationKind(QualType T);
|
||||
|
||||
static bool hasScalarEvaluationKind(QualType T) {
|
||||
|
|
Loading…
Reference in New Issue