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

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 533 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

Initial value:

 CastInfo<
      To, From,
      std::enable_if_t<std::is_base_of<::clang::ento::SVal, From>::value>>

Definition at line 537 of file SVals.h.

Member Function Documentation

castFailed()

template<typename To, typename From>

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 543 of file SVals.h.

Referenced by doCastIfPossible().

doCast()

template<typename To, typename From>

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 544 of file SVals.h.

Referenced by doCastIfPossible().

doCastIfPossible()

template<typename To, typename From>

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 547 of file SVals.h.

References castFailed(), doCast(), and isPossible().

isPossible()

template<typename To, typename From>

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 540 of file SVals.h.

References V.

Referenced by doCastIfPossible().

---

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

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