sem_res.adb (Resolve_Op_Not): Warn on double negation
authorRobert Dewar <dewar@adacore.com>
Tue, 20 May 2008 12:51:17 +0000 (14:51 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 20 May 2008 12:51:17 +0000 (14:51 +0200)
commit09bc9ab600e7492588d6cbd9d565cf541d1480a8
tree3acaae64e746b354a27b2162c0a3d1b8e3a75916
parentcd2fb9207ace61a867ce118129cdb4ecc0d0a8f7
sem_res.adb (Resolve_Op_Not): Warn on double negation

2008-05-20  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Resolve_Op_Not): Warn on double negation

From-SVN: r135644
gcc/ada/sem_res.adb