diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2022-07-27 12:04:50 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2022-07-27 12:04:50 +0200 |
| commit | cc078cf85295ec5d0a63a16afbd045efac0d455e (patch) | |
| tree | 5899a502b566b5dbf7d52d1e942bc97efa434cac /libjava/java/util | |
| parent | 0bc1566dec0cab9410723c96d2ef3280fdab8e8e (diff) | |
| download | gcc-cc078cf85295ec5d0a63a16afbd045efac0d455e.zip gcc-cc078cf85295ec5d0a63a16afbd045efac0d455e.tar.gz gcc-cc078cf85295ec5d0a63a16afbd045efac0d455e.tar.bz2 | |
opts: Add an assertion to help static analyzers [PR106332]
This function would have UB if called with empty candidates vector
(accessing p[-1] where p is malloc (0) result).
As analyzed in the PR, we never call it with empty vector, so this just
adds an assertion to make it clear.
2022-07-27 Jakub Jelinek <jakub@redhat.com>
PR middle-end/106332
* opts-common.cc (candidates_list_and_hint): Add gcc_assert
that candidates is not an empty vector.
Diffstat (limited to 'libjava/java/util')
0 files changed, 0 insertions, 0 deletions