[Bug tree-optimization/81679] use attribute unused on function arguments as an optimization hint

2017-08-02 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81679 --- Comment #1 from joseph at codesourcery dot com --- On Wed, 2 Aug 2017, msebor at gcc dot gnu.org wrote: > 1) When attribute unused is specified on a function argument of pointer type > in > a declaration of a function, GCC could

[Bug c/81677] Can't declare pointer to array of incomplete type in struct

2017-08-02 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81677 --- Comment #3 from joseph at codesourcery dot com --- There is no such thing as an array type whose element is incomplete - you can't construct, or describe, such a type in C at all, and attempts to do so have undefined behavior in C90

[Bug c/81677] Can't declare pointer to array of incomplete type in struct

2017-08-02 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81677 --- Comment #1 from joseph at codesourcery dot com --- In C90, arrays of incomplete types are forbidden because incomplete types are not (before C11) object types. See footnote 17 in subclause 6.1.2.5. In C99 this becomes a constraint in

[Bug c/81656] incompatible _Alignas silently accepted

2017-08-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81656 --- Comment #1 from joseph at codesourcery dot com --- To be clear: that requirement is not a constraint, so no diagnostic is required. Diagnosis may make sense for _Alignas, but I don't think different choices of __attribute__ ((al

[Bug target/81647] inconsistent LTGT behavior at different optimization levels on AArch64.

2017-08-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81647 --- Comment #4 from joseph at codesourcery dot com --- Indeed, it's purely the *internal* LTGT_EXPR and LTGT RTL for which the semantics are unclear; the semantics of the built-in function are unambiguous (exception only for signaling NaNs).

[Bug c++/81605] -Wignored-attributes emitted when decltype(function) used in template for function with __nonnull__

2017-08-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81605 --- Comment #2 from joseph at codesourcery dot com --- In my view, whenever it's meaningful to act on an attribute for a call via a function pointer (e.g. format, format_arg, const, pure, noreturn, ...), the attribute should apply to the

[Bug c/57821] 'array is too large' error is missing when sizetype overflows

2017-08-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57821 --- Comment #13 from joseph at codesourcery dot com --- Previous discussions in this bug suggest it was specific to 32-bit HOST_WIDE_INT. HOST_WIDE_INT is now always 64-bit.

[Bug c/39985] Type qualifiers not actually ignored on function return type

2017-07-31 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39985 --- Comment #5 from joseph at codesourcery dot com --- In C, in C11 mode, type qualifiers are completely ignored on function return types, including not affecting type compatibility, after my commit: r236231 | jsm28 | 2016-05-13 21:35:39 +

[Bug driver/81358] libatomic not automatically linked with C11 code

2017-07-10 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81358 --- Comment #6 from joseph at codesourcery dot com --- The design of what's in separate libraries is historical; since it probably predates shared libraries, the reason isn't obvious (with shared libraries, before --as-needed,

[Bug driver/81358] libatomic not automatically linked with C11 code

2017-07-10 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81358 --- Comment #4 from joseph at codesourcery dot com --- In the libm case, POSIX has an explicit list of headers whose functions may require particular libraries to be linked in. libatomic is required for use of language features without any

[Bug driver/81358] libatomic not automatically linked with C11 code

2017-07-10 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81358 --- Comment #3 from joseph at codesourcery dot com --- See what I said in <https://gcc.gnu.org/ml/gcc-patches/2013-11/msg02605.html> - I think linking --as-needed -latomic --no-as-needed makes sense by default when --as-needed is sup

[Bug tree-optimization/81330] missing strlen optimization with intervening memcpy

2017-07-06 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81330 --- Comment #1 from joseph at codesourcery dot com --- On Wed, 5 Jul 2017, msebor at gcc dot gnu.org wrote: > GCC eliminates redundant calls to strlen() with intervening calls to strcpy > but > it misses an opportunity to do the same

[Bug c/81310] Is __attribute__ alias on variables valid?

2017-07-04 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81310 --- Comment #2 from joseph at codesourcery dot com --- It's valid on variables (but hidden aliases to variables in shared libraries don't work properly, and the static linker has special handling for the case where a shared libra

[Bug c/81156] GCC fails to compile a formula with tgmath.h

2017-06-22 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81156 --- Comment #4 from joseph at codesourcery dot com --- My notion of __builtin_tgmath is something like __builtin_tgmath (0, powf, pow, powl, cpowf, cpow, cpowl, a, b) where the arguments are: an integer constant expression to distinguish

[Bug c/81156] GCC fails to compile a formula with tgmath.h

2017-06-21 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81156 --- Comment #1 from joseph at codesourcery dot com --- Different OSes (and sometimes different compilers) have different tgmath.h implementations. Those implementations typically expand calls to tgmath.h macros to expansions that repeat their

[Bug c/61399] LDBL_MAX is incorrect with IBM long double format / overflow issues near large values

2017-06-20 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61399 --- Comment #9 from joseph at codesourcery dot com --- On Tue, 20 Jun 2017, vincent-gcc at vinc17 dot net wrote: > > The current proposed wording for DR#467 > > <http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2148.htm#

[Bug middle-end/81120] __builtin_nansl ("") generates quiet NaN

2017-06-19 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81120 --- Comment #5 from joseph at codesourcery dot com --- On Mon, 19 Jun 2017, dave.anglin at bell dot net wrote: > Is there a gcc option to select between convertFormat and copy? Loads do There is no such option.

[Bug c/61399] LDBL_MAX is incorrect with IBM long double format / overflow issues near large values

2017-06-19 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61399 --- Comment #6 from joseph at codesourcery dot com --- The current proposed wording for DR#467 <http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2148.htm#dr_467> changes "maximum representable finite floating-point number, [ math fo

[Bug middle-end/81120] __builtin_nansl ("") generates quiet NaN

2017-06-19 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81120 --- Comment #3 from joseph at codesourcery dot com --- Of course, such a test is fairly meaningless without -fsignaling-nans. Then, where long double and double have the same format, "Whether C assignment (6.5.16) (and conversion as

[Bug gcov-profile/81080] target libgcov not built with large file support

2017-06-13 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81080 --- Comment #1 from joseph at codesourcery dot com --- The usual rule applies that large-file defines *must* come before any direct or indirect system header includes (with glibc if they come late they simply won't be effective, for some

[Bug c/81050] ICE with -fexec-charset=utf-16

2017-06-12 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81050 --- Comment #2 from joseph at codesourcery dot com --- That's not a valid execution character set (unless char is at least 16 bits, which doesn't currently apply to any GCC target). "The basic character set shall be present and

[Bug sanitizer/81066] sanitizer_stoptheworld_linux_libcdep.cc:276:22: error: aggregate ‘sigaltstack handler_stack’ has incomplete type and cannot be defined

2017-06-12 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81066 --- Comment #4 from joseph at codesourcery dot com --- Using stack_t instead of struct sigaltstack is correct. However, the type declaration should be obtained from . Nothing outside of glibc should ever include headers or define glibc&#

[Bug middle-end/66462] GCC isinf/isnan/... builtins cause sNaN exceptions

2017-06-08 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66462 --- Comment #6 from joseph at codesourcery dot com --- I thought this was fixed only for certain floating-point formats - and even for those, not globally for all targets (not for binary128 on 32-bit targets)?

[Bug c/80730] bogus initializer element is not computable at load time converting a string to bool

2017-05-15 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80730 --- Comment #6 from joseph at codesourcery dot com --- On Mon, 15 May 2017, msebor at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80730 > > --- Comment #5 from Martin Sebor --- > I"m not sure I under

[Bug c/80756] missing diagnostic on non-constant expression with function call such as fabs or fma in initializer

2017-05-15 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80756 --- Comment #6 from joseph at codesourcery dot com --- On Mon, 15 May 2017, nsz at gcc dot gnu.org wrote: > fabs and fma identifiers are reserved for the implementation and it is valid > to > treat them as constant expression in ini

[Bug c/80756] missing diagnostic on non-constant expression with function call such as fabs or fma in initializer

2017-05-15 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80756 --- Comment #5 from joseph at codesourcery dot com --- On Mon, 15 May 2017, vincent-gcc at vinc17 dot net wrote: > GCC misses a diagnostic when the fabs() or fma() function is used in an > initializer. For instance, consider: The

[Bug c/80730] bogus initializer element is not computable at load time converting a string to bool

2017-05-15 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80730 --- Comment #4 from joseph at codesourcery dot com --- On Sat, 13 May 2017, msebor at gcc dot gnu.org wrote: > I don't see what purpose rejecting > > bool b = ""; > > serves when > > bool b = !!"&

[Bug c/80730] bogus initializer element is not computable at load time converting a string to bool

2017-05-12 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80730 --- Comment #2 from joseph at codesourcery dot com --- See <https://www.polyomino.org.uk/computer/c/const-exprs-c99.txt> for my old syntactic model of constant expressions in C99. I'd consider it appropriate to handle implicit con

[Bug c/80730] bogus initializer element is not computable at load time converting a string to bool

2017-05-12 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80730 --- Comment #1 from joseph at codesourcery dot com --- I think it should be understood implicitly that it's the initializer *as converted* that must be a constant expression (and, thus, to be an address constant, must be of pointer

[Bug bootstrap/80677] LIMITS_H_TEST is wrong

2017-05-08 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80677 --- Comment #1 from joseph at codesourcery dot com --- On Mon, 8 May 2017, helmut at subdivi dot de wrote: > False negatives: Debian is about to further multiarch. That involves moving > libc headers from /usr/include to /usr/i

[Bug target/78460] [7/8 Regression] [SH] OOM building glibc string tst-cmp.c

2017-05-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78460 --- Comment #4 from joseph at codesourcery dot com --- FWIW, my build-many-glibcs.py bots for GCC 7 and mainline are run with "ulimit -v 16777216" to limit the effects of this bug.

[Bug c/80409] Document that va_arg(ap, void*) can be used to consume any pointer argument

2017-04-21 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80409 --- Comment #3 from joseph at codesourcery dot com --- On Wed, 12 Apr 2017, pascal_cuoq at hotmail dot com wrote: > Since the open-source world divides the C compilation platform described by > the > C standard into C compilers (C

[Bug middle-end/80208] DJGPP max object file alignment regression

2017-03-27 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80208 --- Comment #2 from joseph at codesourcery dot com --- The patch submission was <https://gcc.gnu.org/ml/gcc-patches/2013-11/msg02187.html>. The rationale there stands, both that as a standard requirement this must be an error or a p

[Bug middle-end/80131] powerpc: 1U << (31 - x) doesn't generate optimised code

2017-03-21 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80131 --- Comment #5 from joseph at codesourcery dot com --- And even with unsigned c, a shift by (30 - 0xU) is perfectly valid in C; that shift count evaluates to 31U. Whereas a shift by 0xU is not valid C.

[Bug middle-end/80131] powerpc: 1U << (31 - x) doesn't generate optimised code

2017-03-21 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80131 --- Comment #3 from joseph at codesourcery dot com --- On Tue, 21 Mar 2017, segher at gcc dot gnu.org wrote: > If we have d = a << (b - c); and a << b does not truncate in the > original mode, write it as d := (a <<

[Bug sanitizer/80114] asan-stack=1 with -fsanitize-address-use-after-scope and stack arrays multiplies code size

2017-03-20 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80114 --- Comment #7 from joseph at codesourcery dot com --- "String literals, and compound literals with const-qualified types, need not designate distinct objects.". (This is different from named variables, which can't be merged

[Bug preprocessor/80071] __LINE__ is expanded incorrectly

2017-03-16 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80071 --- Comment #6 from joseph at codesourcery dot com --- Note that there are two different proposals regarding __LINE__ for Markham. http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2115.htm http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2129

[Bug tree-optimization/80006] loss of range information after widening conversion

2017-03-13 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80006 --- Comment #2 from joseph at codesourcery dot com --- The premature promotion probably comes from targetm.calls.promote_prototypes, which currently takes effect in the front ends (affecting the IR generated for both caller and callee). I

[Bug translation/80001] diagnostics: untranslateable %s placeholders in omp-offload.c

2017-03-13 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80001 --- Comment #2 from joseph at codesourcery dot com --- On Sat, 11 Mar 2017, roland.illig at gmx dot de wrote: > error_at (loop->loc, loop->routine > ? "routine call uses same OpenACC parallelism a

[Bug other/79874] symtab_node::verify_base: replace error with internal_error

2017-03-05 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79874 --- Comment #1 from joseph at codesourcery dot com --- Without reference to whether it is the case for this particular error, there are some cases where the code structure is: * Make consistency checks, possibly reporting diagnostics from them

[Bug target/79871] i18n: document placeholders for translators

2017-03-05 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79871 --- Comment #1 from joseph at codesourcery dot com --- %K means to extract a location from a statement, including inlining context. See tree-pretty-print.c:percent_K_format. As such, the absence of a space is correct.

[Bug target/79846] s390: untranslatable diagnostic in s390.c

2017-03-03 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79846 --- Comment #1 from joseph at codesourcery dot com --- The correct way to print HOST_WIDE_INT is with %wu etc. formats.

[Bug fortran/79596] translation: argument to gfc_internal_error should not be translated

2017-03-03 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79596 --- Comment #3 from joseph at codesourcery dot com --- On Fri, 3 Mar 2017, roland.illig at gmx dot de wrote: > I assume that somewhere there is some list of functions that take translatable > strings, since xgettext has to decide which of

[Bug middle-end/79756] [5/6/7 Regression] ICE in execute_todo, at passes.c:2011

2017-03-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79756 --- Comment #5 from joseph at codesourcery dot com --- On Wed, 1 Mar 2017, rguenth at gcc dot gnu.org wrote: > but note that convert_vector_to_array_for_subscript will return > VIEW_CONVERT_EXPR (MAYBE_CONST (...)) then. Maybe

[Bug tree-optimization/79699] small memory leak in MPFR

2017-02-23 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79699 --- Comment #2 from joseph at codesourcery dot com --- The only mpfr_free_cache call I see in GCC is in the Fortran front end. Without such a call on exit, leaks in MPFR need not be meaningful.

[Bug c/79677] Weird handling of -Werror=

2017-02-22 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79677 --- Comment #1 from joseph at codesourcery dot com --- For the theory of how I think this should behave, see <https://gcc.gnu.org/ml/gcc-patches/2012-05/msg00419.html> (referring back to <https://gcc.gnu.org/ml/gcc-bugs/2012-04/msg0

[Bug fortran/79602] translation: globally replace '%s' with %qs

2017-02-20 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79602 --- Comment #1 from joseph at codesourcery dot com --- We only ever download translations from the TP site and use them unmodified; we don't make any local changes to the translations in GCC.

[Bug c/79528] DFP double rounding bug

2017-02-15 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79528 --- Comment #2 from joseph at codesourcery dot com --- On Wed, 15 Feb 2017, jakub at gcc dot gnu.org wrote: > It seems besides conversion from integer to decimal{32,64} also all the > arithmetics e.g. in real_arithmetics are perfor

[Bug c/79479] -Woverflow false alarm in unreachable expression

2017-02-13 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79479 --- Comment #10 from joseph at codesourcery dot com --- This is arguably the same as or similar to bug 4210 and its duplicates.

[Bug translation/79332] Several bugs related to translation in gcc 7.1-b20170101

2017-02-06 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79332 --- Comment #4 from joseph at codesourcery dot com --- That would be the %e / %n extraction intended for spec strings. In this case, I think splitting the string constant between the % and the n should avoid the %n extraction without

[Bug target/79366] wrong result in cast to unsigned int

2017-02-03 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79366 --- Comment #5 from joseph at codesourcery dot com --- Annex F makes it an unspecified value (i.e. each execution that occurs in the abstract machine has to act as if it produces some definite value representable in the resulting type, but

[Bug c/79358] gcc.dg/c99-stdint-1.c fails with excess error

2017-02-03 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79358 --- Comment #5 from joseph at codesourcery dot com --- On Fri, 3 Feb 2017, vogt at linux dot vnet.ibm.com wrote: > void > foo (void) > { > __typeof__((4294967295U)) a; > __typeof__((long unsigned int)0 + 0) *b = &a;

[Bug target/79277] lies about alignment of DFmode

2017-01-30 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79277 --- Comment #1 from joseph at codesourcery dot com --- Note that for compatibility you don't want to change either __alignof__ (double) (preferred alignment, 8) or _Alignof (double) (required alignment, 4).

[Bug c/448] -related issues (C99 issues)

2017-01-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=448 --- Comment #33 from joseph at codesourcery dot com --- I think it's appropriate for this bug to track the missing pieces, whether directly or through dependencies on a series of bugs for each target OS.

[Bug c/79216] Feature request: byte order attributes

2017-01-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79216 --- Comment #2 from joseph at codesourcery dot com --- Does the scalar_storage_order attribute added in GCC 6 help for at least some of this?

[Bug c/448] -related issues (C99 issues)

2017-01-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=448 --- Comment #31 from joseph at codesourcery dot com --- The following targets still appear to be missing this type information in GCC: some NetBSD targets (netbsd-stdint.h only used for x86 / x86_64), VxWorks, SymbianOS, LynxOS, QNX, TPF

[Bug target/46676] ix86_option_override_internal i18n problems

2017-01-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46676 --- Comment #2 from joseph at codesourcery dot com --- Full sentences appear now to be used - but all the diagnostic function calls now use main_args_p ? "diag 1" : "diag 2" as the msgid argument, which results in only d

[Bug tree-optimization/79207] Special trigonometric simplification for solving cubics with -ffast-math

2017-01-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79207 --- Comment #2 from joseph at codesourcery dot com --- It's hardly specific to those arguments. Any case of two or more calls of (sin or cos) (+/- x + constant) for same x, possibly different constant, could be converted (given -funsafe

[Bug target/78516] [7 Regression] ICE in lra_assign for e500v2

2017-01-24 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78516 --- Comment #26 from joseph at codesourcery dot com --- As of r244815 I don't see the ICE building glibc. 193 FAILs in gcc.sum, 60 in g++.sum, which is comparable to the results I reported with the LRA patches. I don't get ICEs f

[Bug target/78478] Compile Error for i386-rtems

2017-01-17 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78478 --- Comment #7 from joseph at codesourcery dot com --- On Tue, 17 Jan 2017, joel at gcc dot gnu.org wrote: > > I.e., the bug was enabling unintended soft-fp usage of XFmode at the same > > time as enabling usage of TFmode.

[Bug c/79117] __builtin_isfinite edge case incorrect on i386

2017-01-17 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79117 --- Comment #2 from joseph at codesourcery dot com --- If you use -fexcess-precision=standard, the classification built-in functions should convert values with excess range and precision to their semantic types as required by ISO C (see c

[Bug target/61729] FAIL: g++.dg/abi/scoped1.C -std=gnu++11 execution test

2017-01-16 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61729 --- Comment #2 from joseph at codesourcery dot com --- FWIW, new C floating-point types such as _Float16 and _Float32 are not promoted in variable arguments either, which has required a few back-end changes. Complex types such as _Complex

[Bug translation/79093] Hard coded plural in builtins.c:3203

2017-01-14 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79093 --- Comment #1 from joseph at codesourcery dot com --- We don't seem to have warning_at_n (only inform_n, warning_at_rich_loc_n, warning_n, error_n) but it could easily be added to handle this properly.

[Bug pch/78970] GCC crashes if input file is dash

2017-01-06 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78970 --- Comment #7 from joseph at codesourcery dot com --- This change causes a regression testing glibc. glibc uses "gcc -E -x c-header -", which now results in an error "cannot use '-' as input filename for a precompil

[Bug c++/78964] gcc fails to detect pointless increment

2017-01-03 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78964 --- Comment #9 from joseph at codesourcery dot com --- See bug 44677.

[Bug c/77754] [5/6/7 Regression] internal compiler error : tree code 'call_expr' is not supported in LTO streams

2016-12-20 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77754 --- Comment #8 from joseph at codesourcery dot com --- On Tue, 20 Dec 2016, jakub at gcc dot gnu.org wrote: > So, where would be the best place to remove the VLA bounds from parameters of > fn declarations? Some function calle

[Bug c/77767] [5/6/7 Regression] Side-effect from VLA array parameters lost

2016-12-20 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77767 --- Comment #6 from joseph at codesourcery dot com --- I think the append_to_statement_list version should be preferred.

[Bug target/78516] [7 Regression] ICE in lra_assign for e500v2

2016-12-20 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78516 --- Comment #17 from joseph at codesourcery dot com --- On Tue, 20 Dec 2016, bergner at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78516 > > --- Comment #16 from Peter Bergner --- > (In reply to Vlad

[Bug target/78516] [7 Regression] ICE in lra_assign for e500v2

2016-12-16 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78516 --- Comment #9 from joseph at codesourcery dot com --- That LRA patch (on top of the previous patch) allows the glibc build to complete. Now running gcc/g++/libstdc++ testsuites (I haven't run them with an unmodified copy of the sam

[Bug c/78829] bit-rotten "C99 mode" references in GCC manual

2016-12-16 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78829 --- Comment #1 from joseph at codesourcery dot com --- Note that some of these (e.g. VLAs) are extensions in C++ as well. And some include features beyond the standard ones (e.g. _Complex is standard C99, but the syntax for complex constants

[Bug libgcc/78779] libgcc/soft-fp/op-common.h:900: possible missing break ?

2016-12-13 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78779 --- Comment #3 from joseph at codesourcery dot com --- The fallthroughs are intentional.

[Bug c/78666] conflicting attribute alloc_size accepted

2016-12-08 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78666 --- Comment #6 from joseph at codesourcery dot com --- On Thu, 8 Dec 2016, msebor at gcc dot gnu.org wrote: > But what is specifying multiple declarations of the same function with > different sets of attributes supposed to mean?

[Bug c/78666] conflicting attribute alloc_size accepted

2016-12-08 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78666 --- Comment #4 from joseph at codesourcery dot com --- Multiple format attributes for the same function, naming different arguments as a format string, are perfectly valid; they mean the function uses multiple format strings (each of which has

[Bug tree-optimization/78696] [7 Regression] -fprintf-return-value misoptimizes %.Ng where N is greater than 10

2016-12-06 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78696 --- Comment #9 from joseph at codesourcery dot com --- Implementation-specific can in practice include cases where the implementation deviates from the standard (e.g. Windows 3-digit exponents, though disabling the optimization for floating

[Bug tree-optimization/78696] [7 Regression] -fprintf-return-value misoptimizes %.Ng where N is greater than 10

2016-12-06 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78696 --- Comment #5 from joseph at codesourcery dot com --- The radix character is not a POSIX extension. See the C11 7.1.1#2: "The decimal-point character is the character used by functions that convert floating-point numbers to or from char

[Bug c/78568] [5/6/7 Regression] Wtype-limits warning regression

2016-12-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78568 --- Comment #5 from joseph at codesourcery dot com --- c_fully_fold should not be asked to fold the same expression more than once. When a subexpression is folded during parsing, for whatever reason, the result should be wrapped in a tree

[Bug middle-end/78605] bogus -Wformat-length=1 with %f

2016-11-29 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78605 --- Comment #1 from joseph at codesourcery dot com --- On Tue, 29 Nov 2016, msebor at gcc dot gnu.org wrote: > As an independent issue, since the type of the arguments to the %f directive > is > float (not double), the checker s

[Bug libgcc/78576] [PPC] wrong long double to long int conversion

2016-11-29 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78576 --- Comment #14 from joseph at codesourcery dot com --- On Tue, 29 Nov 2016, bergner at gcc dot gnu.org wrote: > Using gdb, I see: > > (gdb) info registers f1 f2 > f1 27 (raw 0x403b00

[Bug target/78597] [7 regression] test case gcc.dg/torture/fp-int-convert-float128-ieee.c (and others) fail starting with r242780

2016-11-29 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78597 --- Comment #1 from joseph at codesourcery dot com --- If these fail but weren't previously run then it's not a regression, but an indication of a wrong-code bug in the float128 support for powerpc (for which testing was previ

[Bug sanitizer/78532] [7 Regression] libsanitizer fails to build on sparc64-linux-gnu

2016-11-29 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78532 --- Comment #5 from joseph at codesourcery dot com --- On Tue, 29 Nov 2016, m.ostapenko at samsung dot com wrote: > /home/max/src/glibc/resolv/ns_print.c:99: undefined reference to > `__stack_chk_guard' You get this if glibc a

[Bug libgcc/78576] [PPC] wrong long double to long int conversion

2016-11-29 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78576 --- Comment #7 from joseph at codesourcery dot com --- What are the actual high and low doubles in the return from powl? The simplest reason for the reported result here would be that powl returns a result very slightly less than 27 (which is

[Bug target/78458] [7 Regression] LRA ICE building libgcc for powerpc-linux-gnuspe e500v2

2016-11-23 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78458 --- Comment #12 from joseph at codesourcery dot com --- Applying also the third patch Index: gcc/config/rs6000/rs6000.c === --- gcc/config/rs6000/rs6000.c (revision 242751

[Bug target/78458] [7 Regression] LRA ICE building libgcc for powerpc-linux-gnuspe e500v2

2016-11-22 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78458 --- Comment #11 from joseph at codesourcery dot com --- For e500v2, that patch moves things from a libgcc build failure to a glibc build failure having built libgcc successfully: many files in glibc fail to build with errors of the form

[Bug target/78478] Compile Error for i386-rtems

2016-11-22 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78478 --- Comment #5 from joseph at codesourcery dot com --- On Tue, 22 Nov 2016, ubizjak at gmail dot com wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78478 > > --- Comment #2 from Uroš Bizjak --- > For 7.0, somebody change

[Bug target/78458] [7 Regression] LRA ICE building libgcc for powerpc-linux-gnuspe e500v2

2016-11-21 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78458 --- Comment #3 from joseph at codesourcery dot com --- I still get the same ICE at r242683.

[Bug target/78458] [7 Regression] LRA ICE building libgcc for powerpc-linux-gnuspe e500v2

2016-11-21 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78458 --- Comment #2 from joseph at codesourcery dot com --- It was r242641.

[Bug c/78408] C loop initial declarations generate wrong code

2016-11-17 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78408 --- Comment #7 from joseph at codesourcery dot com --- I can't reproduce this with recent GCC 6 branch. Possibly a duplicate of bug 72747?

[Bug tree-optimization/78386] Optimization -O2 and higher cause math inconsistency

2016-11-16 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78386 --- Comment #4 from joseph at codesourcery dot com --- On Wed, 16 Nov 2016, pinskia at gcc dot gnu.org wrote: > Most likely the use of fma. Which applies with current x86_64 just as it does with powerpc. It should be possible to reduce s

[Bug c/65892] gcc fails to implement N685 aliasing of union members

2016-11-02 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65892 --- Comment #23 from joseph at codesourcery dot com --- On Wed, 2 Nov 2016, txr at alumni dot caltech.edu wrote: > Seven: Given that the question is now under serious debate, IMO > someone involved with gcc development should ta

[Bug c/65892] gcc fails to implement N685 aliasing of union members

2016-11-01 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65892 --- Comment #19 from joseph at codesourcery dot com --- On Tue, 1 Nov 2016, txr at alumni dot caltech.edu wrote: > Five: The answer to the question is clearly No. The example code > is very much on point to the "one special guaran

[Bug testsuite/78136] gcc.dg/cpp/trad/include.c fails with newer glibc versions

2016-10-28 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78136 --- Comment #2 from joseph at codesourcery dot com --- This test clearly needs to use a header local to the testsuite rather than expecting system headers to work with -traditional-cpp (at which point the existing exclusion of vxworks_kernel

[Bug other/78109] ld with -pie creates a shared library instead of an executable

2016-10-25 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78109 --- Comment #1 from joseph at codesourcery dot com --- That's what a PIE is: an ET_DYN that can be directly executed. There is no bug here.

[Bug c++/78014] -Wformat -vs- size_t

2016-10-17 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78014 --- Comment #2 from joseph at codesourcery dot com --- I think this is essentially the same as bug 77970 - making such warnings smarter about the case of standard typedefs. Of course an expression resulting from sizeof must be considered

[Bug c/77992] Provide feature to initialize padding bytes to avoid information leaks

2016-10-17 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77992 --- Comment #16 from joseph at codesourcery dot com --- Obviously any fields implicitly inserted like that must be ignored by the front ends when processing positional initializers - an initializer { 1, 2, 3 } must initialize three explicitly

[Bug c/78000] -Wimplicit-function-declaration inhibited with macro from system headers

2016-10-17 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78000 --- Comment #1 from joseph at codesourcery dot com --- As I've said before, we have to stop doing individual ad hoc fixes for bugs like this; there are too many of them. We have to work out the general principles for which warnings shou

[Bug c/77992] Failures to initialize padding bytes -- causing many information leaks

2016-10-16 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77992 --- Comment #10 from joseph at codesourcery dot com --- If you care about information in bytes that are not part of a field with other semantic significance, you should use -Werror=padded to get errors on structs with padding and use that

[Bug c/77970] inconsistent and unhelpful -Wformat warning for %lc

2016-10-13 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77970 --- Comment #1 from joseph at codesourcery dot com --- I think the correct logic would be something like: if the argument is for a standard typedef, and the format doesn't correspond exactly to that typedef (or one differing only by sign

[Bug c++/77832] isnan() check causes signal 8 with signaling nans

2016-10-03 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77832 --- Comment #3 from joseph at codesourcery dot com --- See bug 66462.

[Bug c/77754] [5/6/7 Regression] internal compiler error : tree code 'call_expr' is not supported in LTO streams

2016-09-27 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77754 --- Comment #5 from joseph at codesourcery dot com --- VLA side effects in function declarations that are not definitions should be discarded. VLA side effects in function declarations that are definitions should occur on entry to the

gcc-bugs@gcc.gnu.org

2016-09-27 Thread joseph at codesourcery dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60962 --- Comment #3 from joseph at codesourcery dot com --- On Mon, 26 Sep 2016, rguenth at gcc dot gnu.org wrote: > /* We want to canonicalize to positive real constants. Pretend > that only negative ones can be easily n

<    2   3   4   5   6   7   8   9   10   11   >