From 67ab597a33108f7eb35e83b4bf2698ab3871c19e Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Mon, 16 Dec 2024 22:00:07 +0000
Subject: [PATCH] smt expr: mark validity checking as likely to pass

---
 smt/expr.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/smt/expr.cpp b/smt/expr.cpp
index 2af9e2450..a2da79b3d 100644
--- 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 {}