llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > > Struct Template Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"

Inheritance diagram for llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >:

Public Types
using	Self = CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >

Static Public Member Functions
static bool	isPossible (const From &V)
static std::optional< To >	castFailed ()
static To	doCast (const From &f)
static std::optional< To >	doCastIfPossible (const From &f)

Detailed Description

template<typename To, typename From>
struct llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >

Definition at line 524 of file SVals.h.

Member Typedef Documentation

Self

template<typename To , typename From >

using llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::Self = CastInfo< To, From, std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value> >

Definition at line 528 of file SVals.h.

Member Function Documentation

castFailed()

template<typename To , typename From >

static std::optional< To > llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::castFailed ( )

inlinestatic

Definition at line 534 of file SVals.h.

doCast()

template<typename To , typename From >

static To llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::doCast ( const From &  f )

inlinestatic

Definition at line 535 of file SVals.h.

doCastIfPossible()

template<typename To , typename From >

static std::optional< To > llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::doCastIfPossible ( const From &  f )

inlinestatic

Definition at line 538 of file SVals.h.

isPossible()

template<typename To , typename From >

static bool llvm::CastInfo< To, From, std::enable_if_t< std::is_base_of<::clang::ento::SVal, From >::value > >::isPossible ( const From &  V )

inlinestatic

Definition at line 531 of file SVals.h.

References V.

---

The documentation for this struct was generated from the following file:

• include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h