10#ifndef CPROVER_CPP_CPP_STORAGE_SPEC_H
11#define CPROVER_CPP_CPP_STORAGE_SPEC_H
cpp_storage_spect(const typet &type)
cpp_storage_spect & operator|=(const cpp_storage_spect &other)
source_locationt & location()
bool is_thread_local() const
const source_locationt & location() const
bool get_bool(const irep_idt &name) const
const irept & find(const irep_idt &name) const
irept(const irep_idt &_id)
void set(const irep_idt &name, const irep_idt &value)
irept & add(const irep_idt &name)
The type of an expression, extends irept.