Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsInterpretOnly.cpp
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsInterpretOnly.cpp	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsInterpretOnly.cpp	(revision 97361)
@@ -985,5 +985,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1054,4 +1053,6 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -1137,7 +1138,8 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1193,5 +1195,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1261,4 +1262,6 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -1325,7 +1328,8 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1353,5 +1357,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsOneByte.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsOneByte.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsOneByte.cpp.h	(revision 97361)
@@ -1124,6 +1124,7 @@
             IEM_MC_END();
             return VINF_SUCCESS;
-    }
-    return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -1555,7 +1556,7 @@
             IEM_MC_END();
             break;
-    }
-
-    return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -1693,7 +1694,7 @@
             IEM_MC_END();
             break;
-    }
-
-    return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -1784,7 +1785,7 @@
             IEM_MC_END();
             break;
-    }
-
-    return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -2043,6 +2044,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -2094,6 +2093,4 @@
     else
         AssertFailedReturn(VERR_IEM_INSTR_NOT_IMPLEMENTED);
-
-    return VINF_SUCCESS;
 }
 
@@ -2402,6 +2399,7 @@
             return VINF_SUCCESS;
         }
-    }
-    AssertFailedReturn(VERR_IEM_IPE_9);
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -2430,8 +2428,8 @@
             IEM_MC_PUSH_U64(i8Imm);
             break;
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2595,4 +2593,6 @@
             }
             return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
     AssertFailedReturn(VERR_IEM_IPE_8);
@@ -2809,5 +2809,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2830,5 +2829,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2850,5 +2848,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2871,5 +2868,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2892,5 +2888,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2913,5 +2908,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2934,5 +2928,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2955,5 +2948,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2976,5 +2968,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2997,5 +2988,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3018,5 +3008,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3039,5 +3028,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3060,5 +3048,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3081,5 +3068,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3102,5 +3088,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3123,5 +3108,4 @@
     } IEM_MC_ENDIF();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -3196,5 +3180,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3387,6 +3370,7 @@
             break;
         }
-    }
-    return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -3484,4 +3468,6 @@
                 break;
             }
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -3585,7 +3571,8 @@
                 break;
             }
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -3663,5 +3650,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3839,6 +3825,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -3887,4 +3871,6 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -3931,7 +3917,8 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -3974,5 +3961,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4021,4 +4007,6 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -4065,7 +4053,8 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4137,4 +4126,6 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -4158,5 +4149,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4186,5 +4176,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -4198,5 +4188,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -4208,7 +4198,8 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
-    }
-    AssertFailedReturn(VERR_IEM_IPE_7);
+            break;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -4451,5 +4442,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -4463,5 +4454,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -4475,5 +4466,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -4511,5 +4502,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -4603,5 +4593,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -4615,5 +4605,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -4627,5 +4617,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -4652,5 +4642,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -4664,5 +4654,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -4676,5 +4666,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -4714,5 +4704,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -4764,5 +4753,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -4784,5 +4772,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -4834,5 +4821,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -4862,5 +4848,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -4871,5 +4857,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -4880,5 +4866,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -4908,5 +4894,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -4936,5 +4921,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -4945,5 +4930,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -4954,5 +4939,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -4977,5 +4962,5 @@
         } IEM_MC_ENDIF(); \
         IEM_MC_ADVANCE_RIP_AND_FINISH(); \
-        IEM_MC_END();
+        IEM_MC_END()
 
 /**
@@ -5012,5 +4997,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5098,5 +5082,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5128,5 +5111,5 @@
         } IEM_MC_ENDIF(); \
         IEM_MC_ADVANCE_RIP_AND_FINISH(); \
-        IEM_MC_END(); \
+        IEM_MC_END()
 
 /**
@@ -5174,6 +5157,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -5296,6 +5277,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -5338,5 +5317,5 @@
         } IEM_MC_ENDIF(); \
         IEM_MC_ADVANCE_RIP_AND_FINISH(); \
-        IEM_MC_END(); \
+        IEM_MC_END()
 
 /**
@@ -5373,5 +5352,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5459,5 +5437,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5478,5 +5455,5 @@
         } IEM_MC_ENDIF(); \
         IEM_MC_ADVANCE_RIP_AND_FINISH(); \
-        IEM_MC_END();
+        IEM_MC_END()
 
 /**
@@ -5513,5 +5490,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5599,5 +5575,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5624,5 +5599,5 @@
         } IEM_MC_ENDIF(); \
         IEM_MC_ADVANCE_RIP_AND_FINISH(); \
-        IEM_MC_END();
+        IEM_MC_END()
 
 /**
@@ -5670,5 +5645,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5789,5 +5763,4 @@
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5807,6 +5780,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-
-    return VINF_SUCCESS;
 }
 
@@ -5936,7 +5907,6 @@
             break;
         }
-    }
-
-    return VINF_SUCCESS;
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -6081,5 +6051,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6124,5 +6093,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6137,5 +6106,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6149,5 +6118,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6178,5 +6147,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6199,5 +6168,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6220,5 +6189,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6401,5 +6370,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6427,5 +6395,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6436,5 +6404,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6445,5 +6413,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6464,5 +6432,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6475,5 +6443,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6486,5 +6454,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6655,5 +6623,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6697,5 +6664,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6710,5 +6677,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6722,5 +6689,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6749,5 +6716,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6768,5 +6735,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6787,5 +6754,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6852,5 +6819,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6894,5 +6860,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6908,5 +6874,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6921,5 +6887,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -6949,5 +6915,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -6969,5 +6935,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -6989,5 +6955,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -7041,5 +7007,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7064,5 +7029,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -7076,5 +7041,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -7088,5 +7053,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
          IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -7124,5 +7089,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7157,5 +7121,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7190,5 +7153,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7292,5 +7254,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7342,5 +7303,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7376,5 +7336,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7483,5 +7442,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7519,5 +7477,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7555,5 +7512,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7630,5 +7586,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH(); /* C0-C3 are documented as undefined, we leave them unmodified. */
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7649,5 +7604,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH(); /* C0-C3 are documented as undefined, we leave them unmodified. */
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7677,6 +7631,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-
-    return VINF_SUCCESS;
 }
 
@@ -7709,6 +7661,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-
-    return VINF_SUCCESS;
 }
 
@@ -7758,5 +7708,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7789,5 +7738,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7832,5 +7780,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7856,5 +7803,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7885,5 +7831,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7988,5 +7933,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8027,5 +7971,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8083,5 +8026,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8107,5 +8049,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8283,5 +8224,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8311,5 +8251,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8339,5 +8278,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8367,5 +8305,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8400,5 +8337,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8446,5 +8382,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8496,5 +8431,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8530,5 +8464,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8638,5 +8571,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8674,5 +8606,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8710,5 +8641,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8746,5 +8676,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8779,5 +8708,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8815,5 +8743,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8843,5 +8770,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8871,5 +8797,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8899,5 +8824,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8927,5 +8851,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8940,5 +8863,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8953,5 +8875,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8969,5 +8890,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -8991,5 +8911,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9111,5 +9030,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9196,5 +9114,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9246,5 +9163,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9280,5 +9196,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9385,5 +9300,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9421,5 +9335,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9457,5 +9370,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9495,5 +9407,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9559,5 +9470,4 @@
  * NT4SP1. (X86_FSW_PE) */
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9582,5 +9492,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9608,5 +9517,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9758,5 +9666,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9808,5 +9715,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9842,5 +9748,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9939,5 +9844,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9957,5 +9861,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10006,5 +9909,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10042,5 +9944,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10078,5 +9979,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10114,5 +10014,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10147,5 +10046,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10180,5 +10078,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10216,5 +10113,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10252,5 +10148,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10318,5 +10213,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -10329,5 +10224,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -10340,5 +10235,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10368,5 +10263,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -10379,5 +10274,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -10390,5 +10285,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10411,5 +10306,5 @@
      * weird pseudo code in intel manual. */
 
-    /** NB: At least Windows for Workgroups 3.11 (NDIS.386) and Windows 95 (NDIS.VXD, IOS)
+    /* NB: At least Windows for Workgroups 3.11 (NDIS.386) and Windows 95 (NDIS.VXD, IOS)
      * use LOOP $-2 to implement NdisStallExecution and other CPU stall APIs. Shortcutting
      * the loop causes guest crashes, but when logging it's nice to skip a few million
@@ -10424,5 +10319,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10431,5 +10326,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10438,5 +10333,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10456,5 +10351,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -10467,5 +10362,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -10478,5 +10373,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10505,5 +10400,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -10515,5 +10410,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -10525,5 +10420,5 @@
             } IEM_MC_ENDIF();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10799,5 +10694,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -10844,5 +10738,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -10881,5 +10774,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -10901,5 +10794,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -10921,5 +10814,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10972,5 +10865,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11000,5 +10892,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11016,5 +10908,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11031,5 +10923,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11062,5 +10954,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11085,5 +10977,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11108,5 +11000,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11166,5 +11058,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11203,5 +11094,5 @@
 
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11230,5 +11121,5 @@
 
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11255,5 +11146,5 @@
 
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11290,5 +11181,5 @@
 
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11319,5 +11210,5 @@
 
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11346,5 +11237,5 @@
 
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
             }
 
@@ -11445,5 +11336,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -11460,5 +11350,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -11494,5 +11383,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -11509,5 +11397,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -11821,5 +11708,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -11833,5 +11720,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -11845,5 +11732,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsThree0f38.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsThree0f38.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsThree0f38.cpp.h	(revision 97361)
@@ -89,5 +89,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -146,5 +145,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -206,5 +204,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -263,5 +260,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -323,5 +319,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -631,5 +626,5 @@
         IEM_MC_END(); \
     } \
-    return VINF_SUCCESS
+    (void)0
 
 /** Opcode 0x66 0x0f 0x38 0x10 (legacy only). */
@@ -723,5 +718,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -846,5 +840,5 @@
         IEM_MC_END(); \
     } \
-    return VINF_SUCCESS
+    (void)0
 
 
@@ -956,5 +950,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -969,5 +962,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1567,5 +1561,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1605,5 +1598,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -1618,5 +1611,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -1631,5 +1624,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -1660,5 +1653,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -1679,5 +1672,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -1698,5 +1691,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsThree0f3a.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsThree0f3a.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsThree0f3a.cpp.h	(revision 97361)
@@ -90,5 +90,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -150,5 +149,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -211,5 +209,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -316,5 +313,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -455,5 +451,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -560,5 +555,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsTwoByte0f.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsTwoByte0f.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsTwoByte0f.cpp.h	(revision 97361)
@@ -92,5 +92,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -155,5 +154,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -216,5 +214,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -280,5 +277,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -341,5 +337,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -397,5 +392,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -453,5 +447,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -512,5 +505,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -573,5 +565,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -634,5 +625,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -695,5 +685,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -758,5 +747,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -819,5 +807,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -884,5 +871,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -949,5 +935,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1014,5 +999,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1079,5 +1063,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1140,5 +1123,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1205,5 +1187,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2077,5 +2058,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2094,5 +2074,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -2165,5 +2144,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 
 }
@@ -2217,5 +2195,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2271,5 +2248,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2325,5 +2301,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2376,5 +2351,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2427,5 +2401,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2481,5 +2454,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2535,5 +2507,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2599,5 +2570,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2634,5 +2604,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -2647,5 +2616,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -2707,5 +2677,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2766,5 +2735,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2801,5 +2769,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -2814,5 +2781,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -2848,5 +2816,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -2861,5 +2828,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -3022,5 +2990,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3056,5 +3023,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -3069,5 +3035,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -3129,5 +3096,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3175,5 +3141,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -3188,5 +3153,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -3223,5 +3189,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -3236,5 +3201,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -3289,8 +3255,7 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-
-    return IEMOP_RAISE_INVALID_OPCODE();
+    }
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -3319,5 +3284,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3496,5 +3460,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3546,5 +3509,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3599,5 +3561,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3649,5 +3610,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3722,5 +3682,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3791,5 +3750,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3917,5 +3875,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4043,5 +4000,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4084,5 +4040,4 @@
     else
         return IEMOP_RAISE_INVALID_OPCODE();
-    return VINF_SUCCESS;
 }
 
@@ -4124,5 +4079,4 @@
     else
         return IEMOP_RAISE_INVALID_OPCODE();
-    return VINF_SUCCESS;
 }
 /*  Opcode 0xf3 0x0f 0x2b - invalid */
@@ -4195,5 +4149,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4266,5 +4219,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4392,5 +4344,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4518,5 +4469,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4587,5 +4537,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4658,5 +4607,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4784,5 +4732,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4910,5 +4857,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -4980,5 +4926,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5050,5 +4995,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5124,5 +5068,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5194,5 +5137,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -5306,5 +5248,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH(); \
                 IEM_MC_END(); \
-                return VINF_SUCCESS; \
+                break; \
     \
             case IEMMODE_32BIT: \
@@ -5319,5 +5261,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH(); \
                 IEM_MC_END(); \
-                return VINF_SUCCESS; \
+                break; \
     \
             case IEMMODE_64BIT: \
@@ -5330,5 +5272,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH(); \
                 IEM_MC_END(); \
-                return VINF_SUCCESS; \
+                break; \
     \
             IEM_NOT_REACHED_DEFAULT_CASE_RET(); \
@@ -5350,5 +5292,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH(); \
                 IEM_MC_END(); \
-                return VINF_SUCCESS; \
+                break; \
     \
             case IEMMODE_32BIT: \
@@ -5365,5 +5307,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH(); \
                 IEM_MC_END(); \
-                return VINF_SUCCESS; \
+                break; \
     \
             case IEMMODE_64BIT: \
@@ -5378,5 +5320,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH(); \
                 IEM_MC_END(); \
-                return VINF_SUCCESS; \
+                break; \
     \
             IEM_NOT_REACHED_DEFAULT_CASE_RET(); \
@@ -5537,9 +5479,8 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -5567,9 +5508,8 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 
 }
@@ -6331,5 +6271,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -6435,5 +6374,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -6494,5 +6432,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6546,5 +6483,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6595,5 +6531,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6656,5 +6591,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6717,5 +6651,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -6787,6 +6720,6 @@
          */
         /// @todo Caller already enforced register mode?!
-    }
-    return VINF_SUCCESS;
+        AssertFailedReturn(VINF_SUCCESS);
+    }
 }
 
@@ -6830,6 +6763,6 @@
          */
         /// @todo Caller already enforced register mode?!
-    }
-    return VINF_SUCCESS;
+        AssertFailedReturn(VINF_SUCCESS);
+    }
 }
 
@@ -7136,5 +7069,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -7462,6 +7394,4 @@
         }
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -7568,6 +7498,4 @@
         }
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -7623,5 +7551,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7675,5 +7602,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7717,5 +7643,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7759,5 +7684,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7798,5 +7722,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7834,5 +7757,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7870,5 +7792,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7906,5 +7827,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7942,5 +7862,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -7978,5 +7897,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8014,5 +7932,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8050,5 +7967,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8086,5 +8002,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8122,5 +8037,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8158,5 +8072,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8194,5 +8107,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8230,5 +8142,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8266,5 +8177,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8302,5 +8212,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8338,5 +8247,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8380,5 +8288,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8422,5 +8329,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8464,5 +8370,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8506,5 +8411,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8548,5 +8452,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8590,5 +8493,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8632,5 +8534,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8674,5 +8575,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8716,5 +8616,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8758,5 +8657,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8800,5 +8698,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8842,5 +8739,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8884,5 +8780,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8926,5 +8821,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -8968,5 +8862,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -9010,5 +8903,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -9051,7 +8943,7 @@
             IEM_MC_END();
             break;
-    }
-
-    return VINF_SUCCESS;
+
+        IEM_NOT_REACHED_DEFAULT_CASE_RET();
+    }
 }
 
@@ -9116,5 +9008,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -9133,5 +9025,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -9149,5 +9041,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -9198,5 +9090,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -9231,5 +9123,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -9264,5 +9156,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -9310,5 +9202,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -9327,5 +9219,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -9343,5 +9235,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -9373,5 +9265,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -9396,5 +9288,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -9419,5 +9311,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -9456,5 +9348,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -9474,5 +9366,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -9491,5 +9383,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -9520,5 +9412,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -9542,5 +9434,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -9564,5 +9456,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -9895,5 +9787,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9919,5 +9810,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9943,5 +9833,4 @@
     IEM_MC_ADVANCE_RIP_AND_FINISH();
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -9972,5 +9861,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -10001,5 +9889,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -10031,5 +9918,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -10061,5 +9947,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -10180,5 +10065,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -10213,5 +10097,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10239,5 +10123,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10271,5 +10155,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10306,5 +10190,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10338,5 +10222,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10378,5 +10262,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10517,5 +10401,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10526,5 +10410,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10535,5 +10419,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10557,5 +10441,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10569,5 +10453,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10581,5 +10465,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10655,5 +10539,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -10737,5 +10620,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10752,5 +10635,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10766,5 +10649,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10809,5 +10692,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -10836,5 +10719,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -10863,5 +10746,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -10947,4 +10830,6 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
@@ -11012,7 +10897,8 @@
                 IEM_MC_END();
                 break;
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -11114,5 +11000,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -11123,5 +11009,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -11132,5 +11018,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -11154,5 +11040,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -11166,5 +11052,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -11178,5 +11064,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -11252,5 +11138,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -11310,7 +11195,5 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-    return VINF_SUCCESS;
+    }
 }
 
@@ -11345,5 +11228,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -11362,5 +11245,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -11377,5 +11260,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -11412,5 +11295,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -11437,5 +11320,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -11462,5 +11345,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -11538,5 +11421,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11610,5 +11492,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11682,5 +11563,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11754,5 +11634,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11805,9 +11684,10 @@
                 /** @todo check this form.   */
                 return IEMOP_RAISE_INVALID_OPCODE();
+
+            IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
     else
         return IEMOP_RAISE_INVALID_OPCODE();
-    return VINF_SUCCESS;
 }
 
@@ -11869,5 +11749,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11920,5 +11799,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -11953,9 +11831,8 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -11985,9 +11862,8 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -12046,5 +11922,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -12099,5 +11974,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -12148,5 +12022,4 @@
 
     IEM_MC_END();
-    return VINF_SUCCESS;
 }
 
@@ -12225,5 +12098,4 @@
 
         IEM_MC_END();
-        return VINF_SUCCESS;
 #endif
     }
@@ -12264,5 +12136,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -12279,5 +12151,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -12293,14 +12165,12 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    else
-    {
-        /* Register only. */
+    /* Register only. */
+    else
         return IEMOP_RAISE_INVALID_OPCODE();
-    }
 }
 
@@ -12412,5 +12282,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_32BIT:
@@ -12427,5 +12297,5 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             case IEMMODE_64BIT:
@@ -12441,14 +12311,12 @@
                 IEM_MC_ADVANCE_RIP_AND_FINISH();
                 IEM_MC_END();
-                return VINF_SUCCESS;
+                break;
 
             IEM_NOT_REACHED_DEFAULT_CASE_RET();
         }
     }
-    else
-    {
-        /* Register only. */
+    /* Register only. */
+    else
         return IEMOP_RAISE_INVALID_OPCODE();
-    }
 }
 
@@ -12516,5 +12384,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_32BIT:
@@ -12526,5 +12394,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         case IEMMODE_64BIT:
@@ -12535,5 +12403,5 @@
             IEM_MC_ADVANCE_RIP_AND_FINISH();
             IEM_MC_END();
-            return VINF_SUCCESS;
+            break;
 
         IEM_NOT_REACHED_DEFAULT_CASE_RET();
@@ -12786,5 +12654,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -12821,5 +12688,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -12834,5 +12700,6 @@
      * @optest      ->
      */
-    return FNIEMOP_CALL_1(iemOp_InvalidWithRMNeedDecode, bRm);
+    else
+        return FNIEMOP_CALL_1(iemOp_InvalidWithRMNeedDecode, bRm);
 }
 
@@ -12873,5 +12740,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -12886,5 +12752,6 @@
      * @optest      ->
      */
-    return FNIEMOP_CALL_1(iemOp_InvalidWithRMNeedDecode, bRm);
+    else
+        return FNIEMOP_CALL_1(iemOp_InvalidWithRMNeedDecode, bRm);
 }
 
@@ -12913,7 +12780,7 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-    return IEMOP_RAISE_INVALID_OPCODE();
+    }
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -12939,7 +12806,7 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-    return IEMOP_RAISE_INVALID_OPCODE();
+    }
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -13272,5 +13139,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
     /**
@@ -13284,5 +13150,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -13318,5 +13185,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -13331,5 +13197,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -13529,5 +13396,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap1.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap1.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap1.cpp.h	(revision 97361)
@@ -143,5 +143,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -254,5 +253,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -387,5 +385,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -488,5 +485,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -564,5 +560,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -629,6 +624,4 @@
         IEM_MC_END();
     }
-
-    return VINF_SUCCESS;
 }
 
@@ -695,6 +688,4 @@
         IEM_MC_END();
     }
-
-    return VINF_SUCCESS;
 }
 
@@ -772,5 +763,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -848,5 +838,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -912,6 +901,4 @@
         IEM_MC_END();
     }
-
-    return VINF_SUCCESS;
 }
 
@@ -978,6 +965,4 @@
         IEM_MC_END();
     }
-
-    return VINF_SUCCESS;
 }
 
@@ -1050,5 +1035,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1089,5 +1073,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -1102,5 +1085,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1208,5 +1192,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1311,5 +1294,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1346,5 +1328,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -1359,5 +1340,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1393,5 +1375,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -1406,5 +1387,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1514,5 +1496,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -1549,5 +1530,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -1562,5 +1542,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1664,5 +1645,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1700,5 +1680,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -1713,5 +1692,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1745,5 +1725,4 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
     }
 
@@ -1758,5 +1737,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -1858,5 +1838,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1936,5 +1915,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -2033,5 +2011,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -2110,5 +2087,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -2202,5 +2178,4 @@
     else
         return IEMOP_RAISE_INVALID_OPCODE();
-    return VINF_SUCCESS;
 }
 
@@ -2264,5 +2239,4 @@
     else
         return IEMOP_RAISE_INVALID_OPCODE();
-    return VINF_SUCCESS;
 }
 
@@ -2371,5 +2345,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2443,5 +2416,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2518,5 +2490,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2590,5 +2561,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -2675,9 +2645,8 @@
             IEM_MC_END();
         }
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -2685,5 +2654,4 @@
 /** Opcode VEX.66.0F 0x50 - vmovmskpd Gy,Upd */
 FNIEMOP_DEF(iemOp_vmovmskpd_Gy_Upd)
-{
 {
     IEMOP_MNEMONIC2(VEX_RM_REG, VMOVMSKPD, vmovmskpd, Gd, Ux, DISOPTYPE_HARMLESS, IEMOPHINT_VEX_L_ZERO);
@@ -2728,10 +2696,8 @@
             IEM_MC_END();
         }
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
-}
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -3288,5 +3254,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -3370,5 +3335,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3446,5 +3410,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3555,5 +3518,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -3839,5 +3801,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -3985,6 +3946,6 @@
         }
     }
-    return VINF_SUCCESS;
-}
+}
+
 
 /**
@@ -4037,5 +3998,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 
 }
@@ -4118,6 +4078,6 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
-}
+}
+
 
 /**
@@ -4194,5 +4154,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4491,6 +4450,4 @@
         IEM_MC_END();
     }
-
-    return VINF_SUCCESS;
 }
 
@@ -4527,9 +4484,8 @@
         IEM_MC_ADVANCE_RIP_AND_FINISH();
         IEM_MC_END();
-        return VINF_SUCCESS;
-    }
-
+    }
     /* No memory operand. */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -4642,5 +4598,5 @@
         } \
     } \
-    return VINF_SUCCESS;
+    (void)0
 
 /** Opcode VEX.0F 0xc6 - vshufps Vps,Hps,Wps,Ib */
@@ -4785,5 +4741,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -4832,7 +4787,7 @@
             IEM_MC_END();
         }
-        return VINF_SUCCESS;
-    }
-    return IEMOP_RAISE_INVALID_OPCODE();
+    }
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -5066,5 +5021,4 @@
             IEM_MC_END();
         }
-        return VINF_SUCCESS;
     }
     /**
@@ -5078,5 +5032,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -5228,5 +5183,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap2.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap2.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap2.cpp.h	(revision 97361)
@@ -307,6 +307,4 @@
         }
     }
-    return VINF_SUCCESS;
-
 }
 
@@ -450,5 +448,5 @@
         } \
     } \
-    return VINF_SUCCESS \
+    (void)0
 
 /** Opcode VEX.66.0F38 0x20. */
@@ -595,5 +593,4 @@
             IEM_MC_END();
         }
-        return VINF_SUCCESS;
     }
 
@@ -608,5 +605,6 @@
      * @optest      ->
      */
-    return IEMOP_RAISE_INVALID_OPCODE();
+    else
+        return IEMOP_RAISE_INVALID_OPCODE();
 }
 
@@ -828,6 +826,4 @@
         IEM_MC_END();
     }
-
-    return VINF_SUCCESS;
 }
 
@@ -1193,5 +1189,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -1288,5 +1283,5 @@
         } \
     } \
-    return VINF_SUCCESS
+    (void)0
 
 
@@ -1452,5 +1447,5 @@
         } \
     } \
-    return VINF_SUCCESS
+    (void)0
 
 /** Body for SARX, SHLX, SHRX; assumes VEX.L must be 0. */
@@ -1537,5 +1532,5 @@
         } \
     } \
-    return VINF_SUCCESS
+    (void)0
 
 /** Opcode VEX.0F38 0xf5 (vex only). */
@@ -1634,5 +1629,5 @@
         } \
     } \
-    return VINF_SUCCESS;
+    (void)0
 
 
@@ -1752,5 +1747,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
Index: trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap3.cpp.h
===================================================================
--- trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap3.cpp.h	(revision 97358)
+++ trunk/src/VBox/VMM/VMMAll/IEMAllInstructionsVexMap3.cpp.h	(revision 97361)
@@ -149,5 +149,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -349,5 +348,4 @@
         IEM_MC_END();
     }
-    return VINF_SUCCESS;
 }
 
@@ -487,5 +485,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
@@ -719,5 +716,4 @@
         }
     }
-    return VINF_SUCCESS;
 }
 
Index: trunk/src/VBox/VMM/include/IEMInternal.h
===================================================================
--- trunk/src/VBox/VMM/include/IEMInternal.h	(revision 97358)
+++ trunk/src/VBox/VMM/include/IEMInternal.h	(revision 97361)
@@ -3241,8 +3241,16 @@
 /** Used to shut up GCC warnings about variables that 'may be used uninitialized'
  * due to GCC lacking knowledge about the value range of a switch. */
-#define IEM_NOT_REACHED_DEFAULT_CASE_RET() default: AssertFailedReturn(VERR_IPE_NOT_REACHED_DEFAULT_CASE)
+#if RT_CPLUSPLUS_PREREQ(202000)
+# define IEM_NOT_REACHED_DEFAULT_CASE_RET() default: [[unlikely]] AssertFailedReturn(VERR_IPE_NOT_REACHED_DEFAULT_CASE)
+#else
+# define IEM_NOT_REACHED_DEFAULT_CASE_RET() default: AssertFailedReturn(VERR_IPE_NOT_REACHED_DEFAULT_CASE)
+#endif
 
 /** Variant of IEM_NOT_REACHED_DEFAULT_CASE_RET that returns a custom value. */
-#define IEM_NOT_REACHED_DEFAULT_CASE_RET2(a_RetValue) default: AssertFailedReturn(a_RetValue)
+#if RT_CPLUSPLUS_PREREQ(202000)
+# define IEM_NOT_REACHED_DEFAULT_CASE_RET2(a_RetValue) default: [[unlikely]] AssertFailedReturn(a_RetValue)
+#else
+# define IEM_NOT_REACHED_DEFAULT_CASE_RET2(a_RetValue) default: AssertFailedReturn(a_RetValue)
+#endif
 
 /**
