dict_access.cpp File Reference

#include "python_dict_internal.h"

Include dependency graph for dict_access.cpp:

Functions
static exprt	float_type_id_arg (const list_elem_info &info)
	The float_type_id argument of a push or set: an element's own type id routes a float into the real-sorted __ESBMC_float_buf (and records its float_idx) so a typed read finds it there (#5501); 0 copies the bytes.
static char	scalar_kind (const typet &t)

Function Documentation

float_type_id_arg()

exprt float_type_id_arg ( const list_elem_info & info )

static

The float_type_id argument of a push or set: an element's own type id routes a float into the real-sorted __ESBMC_float_buf (and records its float_idx) so a typed read finds it there (#5501); 0 copies the bytes.

scalar_kind()

char scalar_kind ( const typet & t )

static