[Ada] Link error due to negated intrinsic comparison
authorHristian Kirtchev <kirtchev@adacore.com>
Thu, 11 Jul 2019 08:01:49 +0000 (08:01 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 11 Jul 2019 08:01:49 +0000 (08:01 +0000)
commitdd8b4c118e15b03a9f8ca748be0c3415e8df788a
treead86ed3a16f65bf6b64c9bc8d0a23a629d89ab72
parente2a2d49440c8f8253d15054b6147810a88a10242
[Ada] Link error due to negated intrinsic comparison

This patch corrects the resolution of operator "not" when the expression
being negated is an equality operator to prevent the transformation of
an intrinsic equality operator into a function call.

2019-07-11  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

* sem_res.adb (Resolve_Op_Not): Do not rewrite an equality
operator into a function call when the operator is intrinsic.

gcc/testsuite/

* gnat.dg/equal9.adb: New testcase.

From-SVN: r273385
gcc/ada/ChangeLog
gcc/ada/sem_res.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/equal9.adb [new file with mode: 0644]