cprover
byte_operators.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #include "byte_operators.h"
10 
11 #include "config.h"
12 
14 {
15  switch(config.ansi_c.endianness)
16  {
18  return ID_byte_extract_little_endian;
19 
21  return ID_byte_extract_big_endian;
22 
23  default:
25  }
26 }
27 
29 {
30  switch(config.ansi_c.endianness)
31  {
33  return ID_byte_update_little_endian;
34 
36  return ID_byte_update_big_endian;
37 
38  default:
40  }
41 }
struct configt::ansi_ct ansi_c
endiannesst endianness
Definition: config.h:76
configt config
Definition: config.cpp:24
Expression classes for byte-level operators.
irep_idt byte_update_id()
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
Definition: dstring.h:35
#define UNREACHABLE
This should be used to mark dead code.
Definition: invariant.h:478
irep_idt byte_extract_id()