Handle all enum values in switch/case

tautschnig · tautschnig · commit 9cc93fe113cd · 2018-06-21T16:52:07.000+01:00
diff --git a/src/util/byte_operators.cpp b/src/util/byte_operators.cpp
@@ -23,7 +23,7 @@ irep_idt byte_extract_id()
   case configt::ansi_ct::endiannesst::IS_BIG_ENDIAN:
     return ID_byte_extract_big_endian;
 
-  default:
+  case configt::ansi_ct::endiannesst::NO_ENDIANNESS:
     UNREACHABLE;
   }
 }
@@ -38,7 +38,7 @@ irep_idt byte_update_id()
   case configt::ansi_ct::endiannesst::IS_BIG_ENDIAN:
     return ID_byte_update_big_endian;
 
-  default:
+  case configt::ansi_ct::endiannesst::NO_ENDIANNESS:
     UNREACHABLE;
   }
 }
diff --git a/src/util/config.cpp b/src/util/config.cpp
@@ -1049,7 +1049,7 @@ std::string configt::ansi_ct::os_to_string(ost os)
   case ost::OS_LINUX: return "linux";
   case ost::OS_MACOS: return "macos";
   case ost::OS_WIN: return "win";
-  default: return "none";
+  case ost::NO_OS: return "none";
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ irep_idt byte_extract_id()`
`23`	`23`	`case configt::ansi_ct::endiannesst::IS_BIG_ENDIAN:`
`24`	`24`	`return ID_byte_extract_big_endian;`
`25`	`25`
`26`		`- default:`
	`26`	`+ case configt::ansi_ct::endiannesst::NO_ENDIANNESS:`
`27`	`27`	`UNREACHABLE;`
`28`	`28`	`}`
`29`	`29`	`}`
`@@ -38,7 +38,7 @@ irep_idt byte_update_id()`
`38`	`38`	`case configt::ansi_ct::endiannesst::IS_BIG_ENDIAN:`
`39`	`39`	`return ID_byte_update_big_endian;`
`40`	`40`
`41`		`- default:`
	`41`	`+ case configt::ansi_ct::endiannesst::NO_ENDIANNESS:`
`42`	`42`	`UNREACHABLE;`
`43`	`43`	`}`
`44`	`44`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1049,7 +1049,7 @@ std::string configt::ansi_ct::os_to_string(ost os)`
`1049`	`1049`	`case ost::OS_LINUX: return "linux";`
`1050`	`1050`	`case ost::OS_MACOS: return "macos";`
`1051`	`1051`	`case ost::OS_WIN: return "win";`
`1052`		`- default: return "none";`
	`1052`	`+ case ost::NO_OS: return "none";`
`1053`	`1053`	`}`
`1054`	`1054`	`}`
`1055`	`1055`