------- Comment #1 from pinskia at gcc dot gnu dot org 2007-08-16 10:59 -------
> At least for languages where 'const' is actually enforced
There is none, unless you are taking about fortran "in" arguments. So we need
to mark such argument as special.
Now if you have the full program (or at least the containts of use function),
and you can prove it never writes to the incoming pointer argument, then you
can warn but only then.
In C and C++ you can never tell without the body of use.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
OtherBugsDependingO|24639 |
nThis| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33086
