diff --git a/src/plugins/value/domains/taint_domain.ml b/src/plugins/value/domains/taint_domain.ml
index 404fab1b7f21c8ad78b8ffc7412cc78b7e9f9d04..49391ece4c43a5b733acaf4b94503753deb0e136 100644
--- a/src/plugins/value/domains/taint_domain.ml
+++ b/src/plugins/value/domains/taint_domain.ml
@@ -234,7 +234,7 @@ module TransferTaint = struct
         let is_taint_annotated = Zone.is_included lv_zone annot_zone in
         if is_taint_annotated
         then
-          { state with locs_data = Zone.join state.locs_data lv_zone }
+          state
         else
           (* Compute data-dependency with [state]: whenever [exp] (or its
              sub-expressions) is tainted, or [lv] is indexed by a tainted memory