cprover
cpp_storage_spec.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Michael Tautschnig
6 
7 \*******************************************************************/
8 
9 #include "cpp_storage_spec.h"
10 
11 void cpp_storage_spect::read(const typet &type)
12 {
13  if(type.id() == ID_merged_type || type.id() == ID_function_type)
14  {
15  for(const typet &subtype : to_type_with_subtypes(type).subtypes())
16  read(subtype);
17  }
18  else if(type.id() == ID_static)
19  set_static();
20  else if(type.id() == ID_extern)
21  set_extern();
22  else if(type.id() == ID_auto)
23  set_auto();
24  else if(type.id() == ID_register)
25  set_register();
26  else if(type.id() == ID_mutable)
27  set_mutable();
28  else if(type.id() == ID_thread_local)
30  else if(type.id() == ID_asm)
31  set_asm();
32  else if(type.id() == ID_weak)
33  set_weak();
34 }
const irep_idt & id() const
Definition: irep.h:407
The type of an expression, extends irept.
Definition: type.h:28
const type_with_subtypest & to_type_with_subtypes(const typet &type)
Definition: type.h:198