Move irep_ids.def from src/util to src/util/ids

Author: John Nonweiler

CODEOWNERS

@@ -61,7 +61,7 @@
 
 # These files change frequently and changes are low-risk
 
-/src/util/irep_ids.def @diffblue/cbmc-developers
+/src/util/ids/irep_ids.def @diffblue/cbmc-developers
 
 /unit/ @diffblue/cbmc-developers
 /regression/ @diffblue/cbmc-developers

doc/architectural/howto.md

@@ -224,7 +224,7 @@ numbered, starting from 0.  They can be accessed through the `op0()`,
 `op1()` and `op2()` methods in the `exprt` class.
 
 Every node in the pretty representation has an identifier, accessed
-through the `id()` function.  The file `util/irep_ids.def` lists the
+through the `id()` function.  The file `util/ids/irep_ids.def` lists the
 possible values of these identifiers; have a quick scan through that
 file.  In the pretty representation above, the following facts are true
 of that particular node:

scripts/string_table_check.sh

@@ -12,7 +12,7 @@ ids_file=$(mktemp)
 
 trap cleanup EXIT
 
-gcc -E -P -x c src/util/irep_ids.def \
+gcc -E -P -x c src/util/ids/irep_ids.def \
   -D'IREP_ID_ONE(x)=ID_ ## x' -D'IREP_ID_TWO(x,y)=ID_ ## x' > $ids_file
 
 for w in $whitelist

src/util/irep_ids.def renamed to src/util/ids/irep_ids.def

@@ -20,7 +20,7 @@ const char *irep_ids_table[]=
 #define IREP_ID_ONE(id) #id,
 #define IREP_ID_TWO(id, str) #str,
 
-#include "irep_ids.def"
+#include "ids/irep_ids.def"
 
   nullptr,
 };
@@ -32,7 +32,7 @@ enum class idt:unsigned
 #define IREP_ID_ONE(the_id) id_##the_id,
 #define IREP_ID_TWO(the_id, str) id_##the_id,
 
-#include "irep_ids.def" // NOLINT(build/include)
+#include "ids/irep_ids.def" // NOLINT(build/include)
 };
 
 #define IREP_ID_ONE(the_id)                                                    \
@@ -49,7 +49,7 @@ enum class idt:unsigned
 
 #endif
 
-#include "irep_ids.def" // NOLINT(build/include)
+#include "ids/irep_ids.def" // NOLINT(build/include)
 
 string_containert::string_containert()
 {

src/util/irep_ids.cpp

@@ -45,6 +45,6 @@ Author: Reuben Thomas, [email protected]
 
 #endif
 
-#include "irep_ids.def"
+#include "ids/irep_ids.def"
 
 #endif