[gcc r13-1086] tree-optimization/105946 - avoid accessing excess args from uninit diag

[gcc r13-1086] tree-optimization/105946 - avoid accessing excess args from uninit diag

[Richard Biener]

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

commit r13-1086-ge07a876c07601e1f3a27420f7d055d20193c362c
Author: Richard Biener <rguenther@suse.de>
Date:   Tue Jun 14 11:10:13 2022 +0200

    tree-optimization/105946 - avoid accessing excess args from uninit diag
    
    uninit diagnostics uses passing via reference and access attributes
    but that iterates over function type arguments which can in some
    cases appearantly outrun the actual arguments leading to ICEs.
    The following simply ignores not present arguments.
    
    2022-06-14  Richard Biener  <rguenther@suse.de>
    
            PR tree-optimization/105946
            * tree-ssa-uninit.cc (maybe_warn_pass_by_reference):
            Do not look at arguments not specified in the function call.

Diff:
---
 gcc/tree-ssa-uninit.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gcc/tree-ssa-uninit.cc b/gcc/tree-ssa-uninit.cc
index b48fcf1a8ba..f326f1775c0 100644
--- a/gcc/tree-ssa-uninit.cc
+++ b/gcc/tree-ssa-uninit.cc
@@ -797,6 +797,9 @@ maybe_warn_pass_by_reference (gcall *stmt, wlimits &wlims)
     {
       ++argno;
 
+      if (argno > nargs)
+	break;
+
       if (!POINTER_TYPE_P (argtype))
 	continue;