Update src/crab/ebpf_domain.cpp

Co-authored-by: Elazar Gershuni <[email protected]>
vbpf · Mar 14, 2024 · 2645fa0 · 2645fa0
1 parent c04208d
commit 2645fa0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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};