[Bug ada/58151] "conflict of writable function parameter in construct with arbitrary order of evaluation" is often a spurious error

p-kell at live dot com gcc-bugzilla@gcc.gnu.org
Fri Jan 3 21:27:00 GMT 2014


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

Patrick Kelly <p-kell at live dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |p-kell at live dot com

--- Comment #3 from Patrick Kelly <p-kell at live dot com> ---
I've faced an almost identical problem. Compilation under -gnat2012 fails with
this error. Fallback to -gnat2005, and it reports that functions can only have
an "in" parameter, which is correct for -gnat2005; however, they can be used in
-gnat2012. Removing the "out" parameter and compiling with -gnat2005 resulted
in a correct build. Immediately compiling with -gnat2012 resulted in a correct
build. I was lucky in that I didn't actually need the "out" on those
parameters. The current behavior is not following the ARM2012. Occurred on GCC
4.8.2.



More information about the Gcc-bugs mailing list