GCC Middle and Back End API Reference
ana::pure_known_function_with_default_return Class Referenceabstract

#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_functiondyn_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

Reimplemented in ana::builtin_known_function.

References NULL.

◆ impl_call_post()

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

◆ impl_call_pre()

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

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

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