Page MenuHomePhabricator
Differential D117229 Diff 427621 clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

Changeset View

Standalone View

View Options

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

Show First 20 Lines • Show All 101 Lines • ▼ Show 20 Linesprotected:
/// - (int)(int x) -> int x /// - (int)(int x) -> int x
/// ///
/// \param V -- SymbolVal, which pressumably contains SymbolCast or any symbol /// \param V -- SymbolVal, which pressumably contains SymbolCast or any symbol
/// that is applicable for cast operation. /// that is applicable for cast operation.
/// \param CastTy -- QualType, which `V` shall be cast to. /// \param CastTy -- QualType, which `V` shall be cast to.
/// \return SVal with simplified cast expression. /// \return SVal with simplified cast expression.
/// \note: Currently only support integral casts. /// \note: Currently only support integral casts.
SVal simplifySymbolCast(nonloc::SymbolVal V, QualType CastTy); SVal simplifySymbolCast(nonloc::SymbolVal V, QualType CastTy);
SVal simplifySymbolCast(SymbolRef SE, QualType CastTy);
steakhalUnsubmitted
Not Done
ReplyInline Actions

You don't need to have gap between these two. They belong in the same overload set.

steakhal: You don't need to have gap between these two. They belong in the same overload set.
public: public:
SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
ProgramStateManager &stateMgr); ProgramStateManager &stateMgr);
virtual ~SValBuilder() = default; virtual ~SValBuilder() = default;
SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy); SVal evalCast(SVal V, QualType CastTy, QualType OriginalTy);
▲ Show 20 Lines • Show All 310 Lines • Show Last 20 Lines