Revert "Let the compiler assume that VERIFY expressions are true in release builds (#1492)"

Xottab-DUTY · Xottab-DUTY · commit f0fada06da5a · 2025-01-02T21:33:20.000+03:00
Fixes #1759, reverts c76215a and #1492. Using XR_ASSUME makes the compiler to refuse some checks where they are crucial. We can't always assume and VERIFY wasn't made for that.
diff --git a/src/xrAICore/Navigation/PatrolPath/patrol_point_inline.h b/src/xrAICore/Navigation/PatrolPath/patrol_point_inline.h
@@ -16,33 +16,27 @@ inline bool CPatrolPoint::operator==(const CPatrolPoint& rhs) const
 
 IC const Fvector& CPatrolPoint::position() const
 {
-#ifdef DEBUG
     VERIFY(m_initialized);
-#endif
     return (m_position);
 }
 
 IC const u32& CPatrolPoint::flags() const
 {
-#ifdef DEBUG
     VERIFY(m_initialized);
-#endif
     return (m_flags);
 }
 
 IC const shared_str& CPatrolPoint::name() const
 {
-#ifdef DEBUG
     VERIFY(m_initialized);
-#endif
     return (m_name);
 }
 
 IC const u32& CPatrolPoint::level_vertex_id(
     const CLevelGraph* level_graph, const CGameLevelCrossTable* cross, const CGameGraph* game_graph) const
 {
-#ifdef DEBUG
     VERIFY(m_initialized);
+#ifdef DEBUG
     verify_vertex_id(level_graph, cross, game_graph);
 #endif
     return (m_level_vertex_id);
@@ -51,8 +45,8 @@ IC const u32& CPatrolPoint::level_vertex_id(
 IC const GameGraph::_GRAPH_ID& CPatrolPoint::game_vertex_id(
     const CLevelGraph* level_graph, const CGameLevelCrossTable* cross, const CGameGraph* game_graph) const
 {
-#ifdef DEBUG
     VERIFY(m_initialized);
+#ifdef DEBUG
     verify_vertex_id(level_graph, cross, game_graph);
 #endif
     return (m_game_vertex_id);
diff --git a/src/xrCore/xrDebug_macros.h b/src/xrCore/xrDebug_macros.h
@@ -196,10 +196,10 @@
     } while (false)
 
 #define NODEFAULT XR_ASSUME(0)
-#define VERIFY(expr) XR_ASSUME(expr)
-#define VERIFY2(expr, desc) XR_ASSUME(expr)
-#define VERIFY3(expr, desc, arg1) XR_ASSUME(expr)
-#define VERIFY4(expr, desc, arg1, arg2) XR_ASSUME(expr)
+#define VERIFY(expr) do {} while (false)
+#define VERIFY2(expr, desc) do {} while (false)
+#define VERIFY3(expr, desc, arg1) do {} while (false)
+#define VERIFY4(expr, desc, arg1, arg2) do {} while (false)
 #define CHK_DX(expr) expr
 #define CHK_GL(expr) expr
 #endif // DEBUG
diff --git a/src/xrEngine/xr_collide_form.cpp b/src/xrEngine/xr_collide_form.cpp
@@ -130,10 +130,8 @@ void CCF_Skeleton::BuildState()
         Fmatrix ME, T, TW;
         const Fmatrix& Mbone = K->LL_GetTransform(I->elem_id);
 
-#ifdef DEBUG
         VERIFY2(DET(Mbone) > EPS,
             (make_string("0 scale bone matrix, %d \n", I->elem_id) + dbg_object_full_dump_string(owner)).c_str());
-#endif
 
         switch (I->type)
         {
diff --git a/src/xrEngine/xr_object_list.cpp b/src/xrEngine/xr_object_list.cpp
@@ -143,9 +143,7 @@ void CObjectList::SingleUpdate(IGameObject* O)
 
     O->UpdateCL();
 
-#ifdef DEBUG
     VERIFY3(O->GetDbgUpdateFrame() == Device.dwFrame, "Broken sequence of calls to 'UpdateCL'", *O->cName());
-#endif
 #if 0 // ndef DEBUG
     __try
     {
@@ -587,10 +585,7 @@ bool CObjectList::dump_all_objects()
 
 void CObjectList::register_object_to_destroy(IGameObject* object_to_destroy)
 {
-#ifdef DEBUG
     VERIFY(!registered_object_to_destroy(object_to_destroy));
-#endif
-
     // Msg("CObjectList::register_object_to_destroy [%x]", object_to_destroy);
     destroy_queue.push_back(object_to_destroy);
 
diff --git a/src/xrGame/Actor_Network.cpp b/src/xrGame/Actor_Network.cpp
@@ -513,9 +513,7 @@ void CActor::net_Import_Physic(NET_Packet& P)
             }
             else
             {
-#ifdef DEBUG
                 VERIFY(valid_pos(N_A.State.position, ph_boundaries()));
-#endif
                 NET_A.push_back(N_A);
                 if (NET_A.size() > 5)
                     NET_A.pop_front();
diff --git a/src/xrGame/Car.cpp b/src/xrGame/Car.cpp
@@ -125,9 +125,7 @@ void CCar::reload(LPCSTR section)
 
 void CCar::cb_Steer(CBoneInstance* B)
 {
-#ifdef DEBUG
     VERIFY2(fsimilar(DET(B->mTransform), 1.f, DET_CHECK_EPS), "Bones receive returns 0 matrix");
-#endif
     CCar* C = static_cast<CCar*>(B->callback_param());
     Fmatrix m;
 
diff --git a/src/xrGame/CarCameras.cpp b/src/xrGame/CarCameras.cpp
@@ -18,9 +18,7 @@
 bool CCar::HUDView() const { return active_camera->tag == ectFirst; }
 void CCar::cam_Update(float dt, float fov)
 {
-#ifdef DEBUG
     VERIFY(!physics_world()->Processing());
-#endif
     Fvector P, Da;
     Da.set(0, 0, 0);
     // bool							owner = !!Owner();
diff --git a/src/xrGame/DestroyablePhysicsObject.cpp b/src/xrGame/DestroyablePhysicsObject.cpp
@@ -89,10 +89,7 @@ void CDestroyablePhysicsObject::Hit(SHit* pHDS)
 }
 void CDestroyablePhysicsObject::Destroy()
 {
-#ifdef DEBUG
     VERIFY(!physics_world()->Processing());
-#endif
-
     const CGameObject* who_object = smart_cast<const CGameObject*>(FatalHit().initiator());
     callback(GameObject::eDeath)(lua_game_object(), who_object ? who_object->lua_game_object() : 0);
     CPHDestroyable::Destroy(ID(), "physic_destroyable_object");
diff --git a/src/xrGame/GameObject.cpp b/src/xrGame/GameObject.cpp
@@ -1039,10 +1039,8 @@ void CGameObject::setDestroy(bool _destroy)
         Msg("cl setDestroy [%d][%d]", ID(), Device.dwFrame);
 #endif //#ifdef MP_LOGGING
     }
-#ifdef DEBUG
     else
         VERIFY(!g_pGameLevel->Objects.registered_object_to_destroy(this));
-#endif
 }
 
 Fvector CGameObject::get_new_local_point_on_mesh(u16& bone_id) const
diff --git a/src/xrGame/Level_Bullet_Manager.cpp b/src/xrGame/Level_Bullet_Manager.cpp
@@ -185,9 +185,7 @@ void CBulletManager::AddBullet(const Fvector& position, const Fvector& direction
     // Always called in Primary thread
     // Uncomment below if you will change the behaviour
     // if (!g_mt_config.test(mtBullets))
-#ifdef DEBUG
     VERIFY(m_thread_id == std::this_thread::get_id());
-#endif
 
     VERIFY(u16(-1) != cartridge.bullet_material_idx);
     //	u32 CurID					= Level().CurrentControlEntity()->ID();
@@ -207,9 +205,7 @@ void CBulletManager::UpdateWorkload()
 {
     ZoneScoped;
 
-#ifdef DEBUG
     VERIFY(g_mt_config.test(mtBullets) || m_thread_id == std::this_thread::get_id());
-#endif
 
     rq_storage.r_clear();
 
diff --git a/src/xrGame/Level_network.cpp b/src/xrGame/Level_network.cpp
@@ -98,9 +98,7 @@ void CLevel::remove_objects()
 #endif // DEBUG
     if (!GEnv.isDedicatedServer)
     {
-#ifdef DEBUG
         VERIFY(client_spawn_manager().registry().empty());
-#endif
         client_spawn_manager().clear();
     }
 
diff --git a/src/xrGame/PHDestroyable.cpp b/src/xrGame/PHDestroyable.cpp
@@ -337,9 +337,7 @@ void CPHDestroyable::NotificatePart(CPHDestroyableNotificate* dn)
 void CPHDestroyable::NotificateDestroy(CPHDestroyableNotificate* dn)
 {
     VERIFY(m_depended_objects);
-#ifdef DEBUG
     VERIFY(!physics_world()->Processing());
-#endif
     m_depended_objects--;
     PhysicallyRemovePart(dn);
     m_notificate_objects.push_back(dn);
diff --git a/src/xrGame/attachable_item.cpp b/src/xrGame/attachable_item.cpp
@@ -114,17 +114,13 @@ bool CAttachableItem::can_be_attached() const
 
 void CAttachableItem::afterAttach()
 {
-#ifdef DEBUG
     VERIFY(m_valid);
-#endif
     object().processing_activate();
 }
 
 void CAttachableItem::afterDetach()
 {
-#ifdef DEBUG
     VERIFY(m_valid);
-#endif
     object().processing_deactivate();
 }
 
diff --git a/src/xrGame/attachable_item_inline.h b/src/xrGame/attachable_item_inline.h
@@ -22,33 +22,25 @@ IC CAttachableItem::CAttachableItem()
 
 IC shared_str CAttachableItem::bone_name() const
 {
-#ifdef DEBUG
     VERIFY(m_valid);
-#endif
     return (m_bone_name);
 }
 
 IC const Fmatrix& CAttachableItem::offset() const
 {
-#ifdef DEBUG
     VERIFY(m_valid);
-#endif
     return (m_offset);
 }
 
 IC u16 CAttachableItem::bone_id() const
 {
-#ifdef DEBUG
     VERIFY(m_valid);
-#endif
     return (m_bone_id);
 }
 
 IC void CAttachableItem::set_bone_id(u16 bone_id)
 {
-#ifdef DEBUG
     VERIFY(m_valid);
-#endif
     m_bone_id = bone_id;
 }
 
diff --git a/src/xrGame/ik/IKLimb.cpp b/src/xrGame/ik/IKLimb.cpp
@@ -494,10 +494,8 @@ void CIKLimb::SetNewGoal(const SIKCollideData& cld, SCalculateData& cd)
     cd.state.foot_step =
         m_foot.GetFootStepMatrix(cd.state.goal, cd, cld, true, !!ik_allign_free_foot) && cd.state.foot_step;
 
-#ifdef DEBUG
     VERIFY2(fsimilar(1.f, DET(cd.state.goal.get()), det_tolerance),
         dump_string("cd.state.goal", cd.state.goal.get()).c_str());
-#endif
 
     cd.state.blend_to = cd.state.goal;
     sv_state.get_calculate_state(cd.state);
@@ -673,36 +671,27 @@ void CIKLimb::Blending(SCalculateData& cd)
     {
         blend_speed_accel(cd);
         ik_goal_matrix m;
-
-#ifdef DEBUG
         VERIFY(fsimilar(1.f, DET(sv_state.goal(m).get()), det_tolerance));
         VERIFY(fsimilar(1.f, DET(sv_state.blend_to(m).get()), det_tolerance));
-#endif
 
         Fmatrix diff;
         diff.mul_43(Fmatrix().invert(sv_state.blend_to(m).get()), Fmatrix(sv_state.goal(m).get()));
 
-#ifdef DEBUG
         VERIFY(fsimilar(1.f, DET(diff), det_tolerance));
-#endif
 
         Fmatrix blend = Fidentity; // cd.state.blend_to;
         cd.state.blending =
             !clamp_change(blend, diff, cd.l, cd.a, linear_tolerance, angualar_tolerance); // 0.01f //0.005f
 
-#ifdef DEBUG
         VERIFY(fsimilar(1.f, DET(blend), det_tolerance));
         VERIFY(fsimilar(1.f, DET(cd.state.blend_to.get()), det_tolerance));
-#endif
 
         Fmatrix fm = Fmatrix().mul_43(cd.state.blend_to.get(), blend);
         if (ik_collide_blend)
             m_foot.GetFootStepMatrix(cd.state.goal, fm, collide_data, true, true);
         else
             cd.state.goal.set(fm, cd.state.blend_to.collide_state());
-#ifdef DEBUG
         VERIFY(fsimilar(DET(cd.state.goal.get()), 1.f, det_tolerance));
-#endif
     }
     else
     {
diff --git a/src/xrGame/moving_objects.cpp b/src/xrGame/moving_objects.cpp
@@ -23,10 +23,10 @@ void moving_objects::on_level_load()
 
 void moving_objects::register_object(moving_object* moving_object)
 {
-#ifdef DEBUG
     VERIFY2(m_objects.find(moving_object) == m_objects.end(),
         make_string("moving object %s is registers twice", *moving_object->id()));
 
+#ifdef DEBUG
     m_objects.insert(moving_object);
 #endif // DEBUG
 
@@ -36,10 +36,10 @@ void moving_objects::register_object(moving_object* moving_object)
 
 void moving_objects::unregister_object(moving_object* moving_object)
 {
-#ifdef DEBUG
     VERIFY2(m_objects.find(moving_object) != m_objects.end(),
         make_string("moving object %s is not yet registered or unregisters twice", *moving_object->id()));
 
+#ifdef DEBUG
     m_objects.erase(m_objects.find(moving_object));
 #endif // DEBUG
 
@@ -49,10 +49,8 @@ void moving_objects::unregister_object(moving_object* moving_object)
 
 void moving_objects::on_object_move(moving_object* moving_object)
 {
-#ifdef DEBUG
     VERIFY2(m_objects.find(moving_object) != m_objects.end(),
         make_string("moving object %s is not yet registered", *moving_object->id()));
-#endif
 
 #pragma todo("this place can be optimized in case of slowdowns")
     VERIFY(m_tree);
diff --git a/src/xrGame/xrServer.cpp b/src/xrGame/xrServer.cpp
diff --git a/src/xrGame/xrServer_process_event.cpp b/src/xrGame/xrServer_process_event.cpp
diff --git a/src/xrUICore/XML/UIXmlInitBase.cpp b/src/xrUICore/XML/UIXmlInitBase.cpp

Original file line number	Diff line number	Diff line change
`@@ -16,33 +16,27 @@ inline bool CPatrolPoint::operator==(const CPatrolPoint& rhs) const`
`16`	`16`
`17`	`17`	`IC const Fvector& CPatrolPoint::position() const`
`18`	`18`	`{`
`19`		`-#ifdef DEBUG`
`20`	`19`	`VERIFY(m_initialized);`
`21`		`-#endif`
`22`	`20`	`return (m_position);`
`23`	`21`	`}`
`24`	`22`
`25`	`23`	`IC const u32& CPatrolPoint::flags() const`
`26`	`24`	`{`
`27`		`-#ifdef DEBUG`
`28`	`25`	`VERIFY(m_initialized);`
`29`		`-#endif`
`30`	`26`	`return (m_flags);`
`31`	`27`	`}`
`32`	`28`
`33`	`29`	`IC const shared_str& CPatrolPoint::name() const`
`34`	`30`	`{`
`35`		`-#ifdef DEBUG`
`36`	`31`	`VERIFY(m_initialized);`
`37`		`-#endif`
`38`	`32`	`return (m_name);`
`39`	`33`	`}`
`40`	`34`
`41`	`35`	`IC const u32& CPatrolPoint::level_vertex_id(`
`42`	`36`	`const CLevelGraph* level_graph, const CGameLevelCrossTable* cross, const CGameGraph* game_graph) const`
`43`	`37`	`{`
`44`		`-#ifdef DEBUG`
`45`	`38`	`VERIFY(m_initialized);`
	`39`	`+#ifdef DEBUG`
`46`	`40`	`verify_vertex_id(level_graph, cross, game_graph);`
`47`	`41`	`#endif`
`48`	`42`	`return (m_level_vertex_id);`
`@@ -51,8 +45,8 @@ IC const u32& CPatrolPoint::level_vertex_id(`
`51`	`45`	`IC const GameGraph::_GRAPH_ID& CPatrolPoint::game_vertex_id(`
`52`	`46`	`const CLevelGraph* level_graph, const CGameLevelCrossTable* cross, const CGameGraph* game_graph) const`
`53`	`47`	`{`
`54`		`-#ifdef DEBUG`
`55`	`48`	`VERIFY(m_initialized);`
	`49`	`+#ifdef DEBUG`
`56`	`50`	`verify_vertex_id(level_graph, cross, game_graph);`
`57`	`51`	`#endif`
`58`	`52`	`return (m_game_vertex_id);`
Original file line number	Diff line number	Diff line change
`@@ -130,10 +130,8 @@ void CCF_Skeleton::BuildState()`
`130`	`130`	`Fmatrix ME, T, TW;`
`131`	`131`	`const Fmatrix& Mbone = K->LL_GetTransform(I->elem_id);`
`132`	`132`
`133`		`-#ifdef DEBUG`
`134`	`133`	`VERIFY2(DET(Mbone) > EPS,`
`135`	`134`	`(make_string("0 scale bone matrix, %d \n", I->elem_id) + dbg_object_full_dump_string(owner)).c_str());`
`136`		`-#endif`
`137`	`135`
`138`	`136`	`switch (I->type)`
`139`	`137`	`{`
Original file line number	Diff line number	Diff line change
`@@ -513,9 +513,7 @@ void CActor::net_Import_Physic(NET_Packet& P)`
`513`	`513`	`}`
`514`	`514`	`else`
`515`	`515`	`{`
`516`		`-#ifdef DEBUG`
`517`	`516`	`VERIFY(valid_pos(N_A.State.position, ph_boundaries()));`
`518`		`-#endif`
`519`	`517`	`NET_A.push_back(N_A);`
`520`	`518`	`if (NET_A.size() > 5)`
`521`	`519`	`NET_A.pop_front();`
Original file line number	Diff line number	Diff line change
`@@ -125,9 +125,7 @@ void CCar::reload(LPCSTR section)`
`125`	`125`
`126`	`126`	`void CCar::cb_Steer(CBoneInstance* B)`
`127`	`127`	`{`
`128`		`-#ifdef DEBUG`
`129`	`128`	`VERIFY2(fsimilar(DET(B->mTransform), 1.f, DET_CHECK_EPS), "Bones receive returns 0 matrix");`
`130`		`-#endif`
`131`	`129`	`CCar* C = static_cast<CCar*>(B->callback_param());`
`132`	`130`	`Fmatrix m;`
`133`	`131`
Original file line number	Diff line number	Diff line change
`@@ -89,10 +89,7 @@ void CDestroyablePhysicsObject::Hit(SHit* pHDS)`
`89`	`89`	`}`
`90`	`90`	`void CDestroyablePhysicsObject::Destroy()`
`91`	`91`	`{`
`92`		`-#ifdef DEBUG`
`93`	`92`	`VERIFY(!physics_world()->Processing());`
`94`		`-#endif`
`95`		`-`
`96`	`93`	`const CGameObject* who_object = smart_cast<const CGameObject*>(FatalHit().initiator());`
`97`	`94`	`callback(GameObject::eDeath)(lua_game_object(), who_object ? who_object->lua_game_object() : 0);`
`98`	`95`	`CPHDestroyable::Destroy(ID(), "physic_destroyable_object");`
Original file line number	Diff line number	Diff line change
`@@ -1039,10 +1039,8 @@ void CGameObject::setDestroy(bool _destroy)`
`1039`	`1039`	`Msg("cl setDestroy [%d][%d]", ID(), Device.dwFrame);`
`1040`	`1040`	`#endif //#ifdef MP_LOGGING`
`1041`	`1041`	`}`
`1042`		`-#ifdef DEBUG`
`1043`	`1042`	`else`
`1044`	`1043`	`VERIFY(!g_pGameLevel->Objects.registered_object_to_destroy(this));`
`1045`		`-#endif`
`1046`	`1044`	`}`
`1047`	`1045`
`1048`	`1046`	`Fvector CGameObject::get_new_local_point_on_mesh(u16& bone_id) const`