#include <analyzer.h>

Inheritance diagram for ana::pure_known_function_with_default_return:

Collaboration diagram for ana::pure_known_function_with_default_return:

Public Member Functions
void	impl_call_pre (const call_details &cd) const override

virtual bool	matches_call_types_p (const call_details &cd) const =0

virtual void	impl_call_post (const call_details &) const

virtual const builtin_known_function *	dyn_cast_builtin_kf () const

Detailed Description

Abstract subclass of known_function that merely sets the return
value of the function (based on function attributes), and assumes
it has no side-effects.

Member Function Documentation

◆ dyn_cast_builtin_kf()

virtual const builtin_known_function * ana::known_function::dyn_cast_builtin_kf ( ) const

inlinevirtualinherited

Reimplemented in ana::builtin_known_function.

References NULL.

◆ impl_call_post()

virtual void ana::known_function::impl_call_post ( const call_details & ) const

inlinevirtualinherited

◆ impl_call_pre()

void ana::pure_known_function_with_default_return::impl_call_pre ( const call_details & cd ) const

overridevirtual

Reimplemented from ana::known_function.

◆ matches_call_types_p()

virtual bool ana::known_function::matches_call_types_p ( const call_details & cd ) const

pure virtualinherited

Implemented in ana::internal_known_function.

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