| commit | f244e994b5ff5b6499a30171b4716f1a6983d6d8 | |
| author | Yannick Moy <moy@adacore.com> | |
| Mon, 5 Sep 2022 14:19:36 +0000 (5 16:19 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 12 Sep 2022 08:16:52 +0000 (12 10:16 +0200) | ||
| tree | 576e0a06752fc160ef7898df21a0e7cb00fc0ef0 | treesnapshot (tar.gz zip) |
| parent | 0f829a98d90105b8a117fac4869dfa0b2578cd6d | commitdiff |
[Ada] Justify false alarm from CodePeer analysis of GNAT
Branch is determined as dead following a test always False by
CodePeer analysis, which is incorrect. Justify this false alarm
with an appropriate pragma Annotate.
gcc/ada/
* libgnat/s-imagei.adb (Image_Integer): Add justification.
Branch is determined as dead following a test always False by
CodePeer analysis, which is incorrect. Justify this false alarm
with an appropriate pragma Annotate.
gcc/ada/
* libgnat/s-imagei.adb (Image_Integer): Add justification.
| gcc/ada/libgnat/s-imagei.adb | diffblobblamehistory |