invoke.texi: Fix typo.

2014-04-29  Patrick Palka  <patrick@parcs.ath.cx>

	* doc/invoke.texi: Fix typo.
	* tree-vrp.c: Fix typos.
	* gimple.c (infer_nonnull_range): Reorder operands of an &&
	condition.

From-SVN: r209891

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9bc2ce05d38d8e1cd477f19ad1a0e45633b1f45a..ea10551f183b8e9b152d1437c688592efbb97cae 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2014-04-29  Patrick Palka  <patrick@parcs.ath.cx>
+
+       * doc/invoke.texi: Fix typo.
+       * tree-vrp.c: Fix typos.
+       * gimple.c (infer_nonnull_range): Reorder operands of an &&
+       condition.
+
 2014-04-29  Zhenqiang Chen  <zhenqiang.chen@linaro.org>
 
        * config/aarch64/aarch64.md (mov<mode>cc): New for GPF.

diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
index da7a00ed00ce9f1e259f2a221bf916489d7bcb39..cc6d405f1685b4e16c312bdd2613394309b94339 100644 (file)
--- a/gcc/doc/invoke.texi
+++ b/gcc/doc/invoke.texi
@@ -4732,7 +4732,7 @@ Warn if a global function is defined without a previous declaration.
 Do so even if the definition itself provides a prototype.
 Use this option to detect global functions that are not declared in
 header files.  In C, no warnings are issued for functions with previous
-non-prototype declarations; use @option{-Wmissing-prototype} to detect
+non-prototype declarations; use @option{-Wmissing-prototypes} to detect
 missing prototypes.  In C++, no warnings are issued for function templates,
 or for inline functions, or for functions in anonymous namespaces.
 

diff --git a/gcc/gimple.c b/gcc/gimple.c
index 8552a17920a9391b12aa071c8faf5fa268706f41..0b34ff1e1c7a5cc0ac89da7318696dcd5fff206d 100644 (file)
--- a/gcc/gimple.c
+++ b/gcc/gimple.c
@@ -2565,8 +2565,8 @@ infer_nonnull_range (gimple stmt, tree op, bool dereference, bool attribute)
            {
              for (unsigned int i = 0; i < gimple_call_num_args (stmt); i++)
                {
-                 if (operand_equal_p (op, gimple_call_arg (stmt, i), 0)
-                     && POINTER_TYPE_P (TREE_TYPE (gimple_call_arg (stmt, i))))
+                 if (POINTER_TYPE_P (TREE_TYPE (gimple_call_arg (stmt, i)))
+                     && operand_equal_p (op, gimple_call_arg (stmt, i), 0))
                    return true;
                }
              return false;

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 042f7121133c42fec2e725d522f267d23917bb62..0dfbfca4a2a4b503b0258efd75b5cddc4469e0d0 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -4432,7 +4432,7 @@ debug_all_value_ranges (void)
 
 /* Given a COND_EXPR COND of the form 'V OP W', and an SSA name V,
    create a new SSA name N and return the assertion assignment
-   'V = ASSERT_EXPR <V, V OP W>'.  */
+   'N = ASSERT_EXPR <V, V OP W>'.  */
 
 static gimple
 build_assert_expr_for (tree cond, tree v)
@@ -6118,7 +6118,7 @@ process_assert_insertions (void)
     }
    else
     {
-      y = ASSERT_EXPR <y, x <= y>
+      y = ASSERT_EXPR <y, x >= y>
       x = y + 3
     }