commit | 5ba25973e2f403ee48af2ba579af5017b2f650fb | [log] [tgz] |
---|---|---|
author | Boris Yakobowski <yakobowski@adacore.com> | Wed Nov 09 14:02:00 2022 +0100 |
committer | Marc Poulhiès <poulhies@adacore.com> | Mon Nov 14 14:46:52 2022 +0100 |
tree | c079b337c8a550bea880a79053ac152268a7e608 | |
parent | 438f878718f81302205b5241dd325bb841c8c92c [diff] |
ada: Silence CodePeer false positive gcc/ada/ * sem_case.adb: silence false positive warning emitted by CodePeer on predefined equality for type Choice_Range_Info.