From: David Malcolm <dmalcolm@redhat.com>
Date: Wed, 21 Jul 2021 21:19:31 +0000 (-0400)
Subject: analyzer: tweak dumping of min_expr/max_expr
X-Git-Tag: basepoints/gcc-13~5860
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dcdf6bb24e5f113f2bb9298588105a071bddf50f;p=thirdparty%2Fgcc.git

analyzer: tweak dumping of min_expr/max_expr

gcc/analyzer/ChangeLog:
	* svalue.cc (infix_p): New.
	(binop_svalue::dump_to_pp): Use it to print MIN_EXPR and MAX_EXPR
	in prefix form, rather than infix.

Signed-off-by: David Malcolm <dmalcolm@redhat.com>
---

diff --git a/gcc/analyzer/svalue.cc b/gcc/analyzer/svalue.cc
index 094c72568181..a1e6f50b7d78 100644
--- a/gcc/analyzer/svalue.cc
+++ b/gcc/analyzer/svalue.cc
@@ -1053,6 +1053,21 @@ unaryop_svalue::maybe_fold_bits_within (tree type,
 
 /* class binop_svalue : public svalue.  */
 
+/* Return whether OP be printed as an infix operator.  */
+
+static bool
+infix_p (enum tree_code op)
+{
+  switch (op)
+    {
+    default:
+      return true;
+    case MAX_EXPR:
+    case MIN_EXPR:
+      return false;
+    }
+}
+
 /* Implementation of svalue::dump_to_pp vfunc for binop_svalue.  */
 
 void
@@ -1060,11 +1075,25 @@ binop_svalue::dump_to_pp (pretty_printer *pp, bool simple) const
 {
   if (simple)
     {
-      pp_character (pp, '(');
-      m_arg0->dump_to_pp (pp, simple);
-      pp_string (pp, op_symbol_code (m_op));
-      m_arg1->dump_to_pp (pp, simple);
-      pp_character (pp, ')');
+      if (infix_p (m_op))
+	{
+	  /* Print "(A OP B)".  */
+	  pp_character (pp, '(');
+	  m_arg0->dump_to_pp (pp, simple);
+	  pp_string (pp, op_symbol_code (m_op));
+	  m_arg1->dump_to_pp (pp, simple);
+	  pp_character (pp, ')');
+	}
+      else
+	{
+	  /* Print "OP(A, B)".  */
+	  pp_string (pp, op_symbol_code (m_op));
+	  pp_character (pp, '(');
+	  m_arg0->dump_to_pp (pp, simple);
+	  pp_string (pp, ", ");
+	  m_arg1->dump_to_pp (pp, simple);
+	  pp_character (pp, ')');
+	}
     }
   else
     {