From 1d5a9398fdec96ae773a56be24a21948cad73454 Mon Sep 17 00:00:00 2001
From: David Malcolm <dmalcolm@redhat.com>
Date: Tue, 9 Jun 2020 15:35:50 -0400
Subject: [PATCH 220/315] FIXME: binops on UNKNOWN are also unknown

---
 gcc/analyzer/region-model2.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/gcc/analyzer/region-model2.cc b/gcc/analyzer/region-model2.cc
index 59723852569..d12db69078a 100644
--- a/gcc/analyzer/region-model2.cc
+++ b/gcc/analyzer/region-model2.cc
@@ -3238,14 +3238,11 @@ region_model2_manager::maybe_fold_binop (tree type, enum tree_code op,
 				    binop->get_arg1 (), arg1));
 	  }
 
-  // TODO:
-#if 0
   /* Ops on "unknown" are also unknown (unless we can use one of the
      identities above).  */
   if (arg0->get_kind () == svalue2::SK_UNKNOWN
       || arg1->get_kind () == svalue2::SK_UNKNOWN)
     return get_or_create_unknown_svalue2 (type);
-#endif
 
   // TODO
 
-- 
2.26.2