smt expr: mark validity checking as likely to pass

AliveToolkit · Dec 16, 2024 · 67ab597 · 67ab597
1 parent 7482df8
commit 67ab597
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/smt/expr.cpp b/smt/expr.cpp
@@ -28,11 +28,11 @@ using namespace util;
 
 // helpers to check if all input arguments are non-null
 #define C(...)                                                                 \
-  if (!isValid() || !expr::allValid( __VA_ARGS__))                             \
+  if (!isValid() || !expr::allValid( __VA_ARGS__)) [[unlikely]]                \
     return {}
 
 #define C2(...)                                                                \
-  if (!expr::allValid(__VA_ARGS__))                                            \
+  if (!expr::allValid(__VA_ARGS__)) [[unlikely]]                               \
     return {}