[gcc r13-2301] libcpp: Make static checkers happy about makeuname2c [PR106778]

[Jakub Jelinek <jakub@gcc.gnu.org>]

https://gcc.gnu.org/g:b3048b6ffb126a4624f66bad713fe6d1dc6dc13d

commit r13-2301-gb3048b6ffb126a4624f66bad713fe6d1dc6dc13d
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Wed Aug 31 10:22:36 2022 +0200

    libcpp: Make static checkers happy about makeuname2c [PR106778]
    
    The assertion ensures that we point within the image and at a byte
    we haven't touched yet (or at least that it isn't the first byte
    of an already stored tree), some static checker was unhappy about
    first checking that it is zero and only afterwards checking that it
    is within bounds.
    
    2022-08-31  Jakub Jelinek  <jakub@redhat.com>
    
            PR preprocessor/106778
            * makeuname2c.cc (write_nodes): Reverse order of && operands in
            assert.

Diff:
---
 libcpp/makeuname2c.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libcpp/makeuname2c.cc b/libcpp/makeuname2c.cc
index f27e010dc6e..2b3c7085314 100644
--- a/libcpp/makeuname2c.cc
+++ b/libcpp/makeuname2c.cc
@@ -451,7 +451,7 @@ write_nodes (struct node *n, size_t off)
 {
   for (; n; n = n->sibling)
     {
-      assert (tree[off] == 0 && off < tree_size);
+      assert (off < tree_size && tree[off] == 0);
       if (n->key_len > 1)
 	{
 	  assert (n->key_len < 64);