analyzer: handle function attribute "alloc_size" [PR110426]

[thirdparty/gcc.git] / gcc / analyzer / region-model-manager.cc

diff --git a/gcc/analyzer/region-model-manager.cc b/gcc/analyzer/region-model-manager.cc
index 46d271a295c18217dfffe6eb6555665bea9cbaaf..65b719056c842694ab3f6a875279640df12ad042 100644 (file)
--- a/gcc/analyzer/region-model-manager.cc
+++ b/gcc/analyzer/region-model-manager.cc
@@ -654,6 +654,8 @@ region_model_manager::maybe_fold_binop (tree type, enum tree_code op,
        return get_or_create_constant_svalue (build_int_cst (type, 0));
       /* (VAL * 1) -> VAL.  */
       if (cst1 && integer_onep (cst1))
+       /* TODO: we ought to have a cast to TYPE here, but doing so introduces
+          regressions; see PR analyzer/110902.  */
        return arg0;
       break;
     case BIT_AND_EXPR: