mirror of
https://sourceware.org/git/glibc.git
synced 2024-11-22 21:10:07 +00:00
ce99922090
The findidx functions used in implementing strcoll / wcscoll already use DIAG_IGNORE_Os_NEEDS_COMMENT for spurious -Wmaybe-uninitialized warnings that appear with -Os. In building with GCC 7 for x86_64 with -Os, I find there are additional such warnings, for the same structure elements, which are spurious for the same reasons given in the existing comments (and this was also reported for MIPS with GCC 5 in bug 21313). This patch adds corresponding uses of DIAG_* in the places that get the additional warnings. Tested for x86_64 with -Os that this eliminates those warnings and so allows the build to progress further. [BZ #21313] * locale/weight.h (findidx): Disable -Wmaybe-uninitialized for -Os in another place. * locale/weightwc.h (findidx): Likewise.
136 lines
3.8 KiB
C
136 lines
3.8 KiB
C
/* Copyright (C) 1996-2018 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
Written by Ulrich Drepper, <drepper@cygnus.com>.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef _WEIGHTWC_H_
|
|
#define _WEIGHTWC_H_ 1
|
|
|
|
#include <libc-diag.h>
|
|
|
|
/* Find index of weight. */
|
|
static inline int32_t __attribute__ ((always_inline))
|
|
findidx (const int32_t *table,
|
|
const int32_t *indirect,
|
|
const wint_t *extra,
|
|
const wint_t **cpp, size_t len)
|
|
{
|
|
wint_t ch = *(*cpp)++;
|
|
int32_t i = __collidx_table_lookup ((const char *) table, ch);
|
|
|
|
if (i >= 0)
|
|
/* This is an index into the weight table. Cool. */
|
|
return i;
|
|
|
|
/* Oh well, more than one sequence starting with this byte.
|
|
Search for the correct one. */
|
|
const int32_t *cp = (const int32_t *) &extra[-i];
|
|
--len;
|
|
while (1)
|
|
{
|
|
size_t nhere;
|
|
const int32_t *usrc = (const int32_t *) *cpp;
|
|
|
|
/* The first thing is the index. */
|
|
i = *cp++;
|
|
|
|
/* Next is the length of the byte sequence. These are always
|
|
short byte sequences so there is no reason to call any
|
|
function (even if they are inlined). */
|
|
nhere = *cp++;
|
|
|
|
if (i >= 0)
|
|
{
|
|
/* It is a single character. If it matches we found our
|
|
index. Note that at the end of each list there is an
|
|
entry of length zero which represents the single byte
|
|
sequence. The first (and here only) byte was tested
|
|
already. */
|
|
size_t cnt;
|
|
|
|
/* With GCC 5.3 when compiling with -Os the compiler warns
|
|
that seq2.back_us, which becomes usrc, might be used
|
|
uninitialized. This can't be true because we pass a length
|
|
of -1 for len at the same time which means that this loop
|
|
never executes. */
|
|
DIAG_PUSH_NEEDS_COMMENT;
|
|
DIAG_IGNORE_Os_NEEDS_COMMENT (5, "-Wmaybe-uninitialized");
|
|
for (cnt = 0; cnt < nhere && cnt < len; ++cnt)
|
|
if (cp[cnt] != usrc[cnt])
|
|
break;
|
|
DIAG_POP_NEEDS_COMMENT;
|
|
|
|
if (cnt == nhere)
|
|
{
|
|
/* Found it. */
|
|
*cpp += nhere;
|
|
return i;
|
|
}
|
|
|
|
/* Up to the next entry. */
|
|
cp += nhere;
|
|
}
|
|
else
|
|
{
|
|
/* This is a range of characters. First decide whether the
|
|
current byte sequence lies in the range. */
|
|
size_t cnt;
|
|
size_t offset;
|
|
|
|
/* With GCC 7 when compiling with -Os the compiler warns
|
|
that seq1.back_us and seq2.back_us, which become usrc,
|
|
might be used uninitialized. This is impossible for the
|
|
same reason as described above. */
|
|
DIAG_PUSH_NEEDS_COMMENT;
|
|
DIAG_IGNORE_Os_NEEDS_COMMENT (7, "-Wmaybe-uninitialized");
|
|
for (cnt = 0; cnt < nhere - 1 && cnt < len; ++cnt)
|
|
if (cp[cnt] != usrc[cnt])
|
|
break;
|
|
DIAG_POP_NEEDS_COMMENT;
|
|
|
|
if (cnt < nhere - 1)
|
|
{
|
|
cp += 2 * nhere;
|
|
continue;
|
|
}
|
|
|
|
if (cp[nhere - 1] > usrc[nhere -1])
|
|
{
|
|
cp += 2 * nhere;
|
|
continue;
|
|
}
|
|
|
|
if (cp[2 * nhere - 1] < usrc[nhere -1])
|
|
{
|
|
cp += 2 * nhere;
|
|
continue;
|
|
}
|
|
|
|
/* This range matches the next characters. Now find
|
|
the offset in the indirect table. */
|
|
offset = usrc[nhere - 1] - cp[nhere - 1];
|
|
*cpp += nhere;
|
|
|
|
return indirect[-i + offset];
|
|
}
|
|
}
|
|
|
|
/* NOTREACHED */
|
|
return 0x43219876;
|
|
}
|
|
|
|
#endif /* weightwc.h */
|