docs/api/clang__c__base__layout_8h_source.html

#ifndef ESBMC_CLANG_C_FRONTEND_CLANG_C_BASE_LAYOUT_H

#define ESBMC_CLANG_C_FRONTEND_CLANG_C_BASE_LAYOUT_H


#include <util/arith/mp_arith.h>

#include <util/irep/std_types.h>

#include <util/symtab/namespace.h>


bool base_displacement(

  const namespacet &ns,

  const typet &derived,

  const irep_idt &base_id,

  BigInt &offset);


#endif

base_displacement
bool base_displacement(const namespacet &ns, const typet &derived, const irep_idt &base_id, BigInt &offset)
Displacement of base_id's subobject inside derived, in bytes, under whichever layout ESBMC gave the c...
Definition clang_c_base_layout.cpp:146

BigInt
Definition bigint.hh:58

irep_idt
Definition irep_idt.h:12

namespacet
Definition namespace.h:10

typet
Definition type.h:9

mp_arith.h

namespace.h

std_types.h