--- VirtualBox-6.1.6/src/VBox/Debugger/DBGCDumpImage.cpp.orig 2020-04-09 20:37:26.000000000 +0300 +++ VirtualBox-6.1.6/src/VBox/Debugger/DBGCDumpImage.cpp 2020-05-08 01:32:01.400447560 +0300 @@ -468,7 +468,7 @@ static const char *dbgcMachoCpuType(uint { switch (iType) { - case CPU_TYPE_ANY: return "CPU_TYPE_ANY"; + default: return "CPU_TYPE_ANY"; case CPU_TYPE_VAX: return "VAX"; case CPU_TYPE_MC680x0: return "MC680x0"; case CPU_TYPE_X86: return "X86";