[Bug middle-end/10138] warn for uninitialized arrays passed as const* arguments

[gdr at cs dot tamu dot edu]

------- Comment #21 from gdr at cs dot tamu dot edu  2007-08-20 18:50 -------
Subject: Re:  warn for uninitialized arrays passed as const* arguments

"manu at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| When I say "constant are not propagated" I mean "the constant value of a
| variable" such as:
| 
|   int i=0;
|   use(&i);
|   foo(i);
| 
| Here, GCC does not propagate the value of i to do foo(0). Remove the call to
| use and then it will.

Which is all it can do, assuming the body is not "available".

-- Gaby


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10138