From 2645fa042eaaece2cca3480778fbe5097a8cedc0 Mon Sep 17 00:00:00 2001
From: Dave Thaler <dthaler1968@gmail.com>
Date: Thu, 14 Mar 2024 09:28:56 -0700
Subject: [PATCH] Update src/crab/ebpf_domain.cpp

Co-authored-by: Elazar Gershuni <elazarg@gmail.com>
---
 src/crab/ebpf_domain.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/crab/ebpf_domain.cpp b/src/crab/ebpf_domain.cpp
index 29c9af2fd..e2f5c826e 100644
--- a/src/crab/ebpf_domain.cpp
+++ b/src/crab/ebpf_domain.cpp
@@ -2164,8 +2164,7 @@ void ebpf_domain_t::operator()(const Atomic& a) {
 
     // Fetch the current value into the R11 pseudo-register.
     Reg r11{R11_ATOMIC_SCRATCH};
-    Mem mem = {.access = a.access, .value = r11, .is_load = true};
-    (*this)(mem);
+    (*this)(Mem{.access = a.access, .value = r11, .is_load = true});
 
     // Compute the new value in R11.
     Bin bin {.dst = r11, .v = a.valreg, .is64 = (a.access.width == sizeof(uint64_t)), .lddw = false};