analyzer: add src_region param to region_model::check_for_poison [PR106479]

[thirdparty/gcc.git] / gcc / analyzer / region-model.h

diff --git a/gcc/analyzer/region-model.h b/gcc/analyzer/region-model.h
index 626b10d253862df0aba646a55d43fd0f46a597d6..e8767e5ed41bde32c6e3ff835e27a0c1870cab08 100644 (file)
--- a/gcc/analyzer/region-model.h
+++ b/gcc/analyzer/region-model.h
@@ -485,6 +485,7 @@ class region_model
 
   const svalue *check_for_poison (const svalue *sval,
                                  tree expr,
+                                 const region *src_region,
                                  region_model_context *ctxt) const;
 
   void check_region_for_write (const region *dest_reg,