[Bug c/80364] New: sanitizer detects signed integer overflow in gimple-ssa-sprintf.c

2017-04-07 Thread zeccav at gmail dot com
Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Host: x86_64-pc-linux-gnu Target: x86_64-pc-linux-gnu /* from pr72858.c */ /*../../gcc-trunk-246751/gcc/gimple-ssa

[Bug libfortran/80365] New: undefined memcpy while writing zero length array on unformatted stream in unix.c

2017-04-08 Thread zeccav at gmail dot com
Severity: normal Priority: P3 Component: libfortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Host: x86_64-pc-linux-gnu Target: x86_64-pc-linux-gnu ! undefined memcpy writing zero

[Bug middle-end/80100] simplify-rtx.c sanitizer detects undefined behaviour with optimization

2017-04-10 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80100 --- Comment #2 from Vittorio Zecca --- simplify-rtx.c:2743 is "HOST_WIDE_INT mask = INTVAL (trueop1) << count;"

[Bug fortran/80395] New: verify_gimple fails with Error: invalid reference prefix with -O3 -finline-functions

2017-04-11 Thread zeccav at gmail dot com
Severity: normal Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Created attachment 41175 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41175&action=edit To be compil

[Bug middle-end/80100] simplify-rtx.c sanitizer detects undefined behaviour with optimization

2017-04-11 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80100 --- Comment #7 from Vittorio Zecca --- (In reply to Jakub Jelinek from comment #5) > Author: jakub > Date: Tue Apr 11 17:21:51 2017 > New Revision: 246851 > > URL: https://gcc.gnu.org/viewcvs?rev=246851&root=gcc&view=rev > Log: > PR middle

[Bug c/80413] New: sanitizer detects undefined behaviour in gcov-io.c using -ftest-coverage

2017-04-12 Thread zeccav at gmail dot com
: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- /* gcc -ftest-coverage */ /* gcc-trunk-246751/gcc/gcov-io.c:351:10: runtime error: null pointer passed as argument 2, which is

[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2017-04-12 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540 --- Comment #9 from Vittorio Zecca --- This test case is wrong. It dereferences thrice a NULL pointer str4. Unfortunately -fcheck=pointer does not detect this one. Just added to the CC list the test case author.

[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2017-04-13 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540 --- Comment #11 from Vittorio Zecca --- Actually, the null pointer str4 is dereferenced four times: at lines 39, 40, 68, 69.

[Bug sanitizer/80424] New: libasan uses tempnam tmpnam tmpnam_r

2017-04-13 Thread zeccav at gmail dot com
Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org, kcc at gcc dot gnu.org Target Milestone: --- Host: x86_64-pc-linux-gnu

[Bug c/77486] New: ubsan detects runtime error: left shift of negative value -3 at real_hash in real.c:2890

2016-09-05 Thread zeccav at gmail dot com
Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Compiling the following with ubsan sanitized gcc f(void) { float y=0; if(y<0.1) y=1.0; } I get ../../gcc-tr

[Bug sanitizer/65828] [LTO] ICE in streamer_get_builtin_tree, at tree-streamer-in.c:1127

2016-09-21 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65828 --- Comment #11 from Vittorio Zecca --- Sorry I am traveling now I cannot help you.

[Bug fortran/49630] [OOP] ICE on obsolescent deferred-length type bound character function

2014-04-29 Thread zeccav at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49630 Vittorio Zecca changed: What|Removed |Added CC||zeccav at gmail dot com --- Comment #5

[Bug c/61158] New: negative shift at fold-const.c:12095

2014-05-12 Thread zeccav at gmail dot com
Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Compilation of the following forces a negative shift, result undefined in my opinion /* gcc -S negative shift at fold-const.c:12095 * x86_64 * "zerobits <<= prec - shiftc;" * because prec - shift

[Bug middle-end/61158] negative shift at fold-const.c:12095

2014-05-13 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61158 --- Comment #2 from Vittorio Zecca --- I found this one with -fsanitize=shift. The runtime error message says "shift exponent -8 is negative". Maybe this is also a sanitizer bug?

[Bug fortran/61907] load of invalid value for 'bool' in trans-array.c trans_array_constructor

2015-04-24 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61907 --- Comment #3 from Vittorio Zecca --- Same behaviour in 4.9.2 in trans-array.c line 2206 typespec_chararray_ctor = (expr->ts.u.cl && expr->ts.u.cl->length_from_typespec); It seems length_from_typespec is wrong, OR the sanitizer -fsanitize=unde

[Bug fortran/61908] load of invalid value for 'expr_t' in interface.c compare_actual_formal

2015-04-24 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61908 --- Comment #3 from Vittorio Zecca --- I still have the same runtime error message in 4.9.2 Trying compilation of !from unlimited_polymorphic_16.f90 !../../gcc-4.9.2/gcc/fortran/interface.c:2667:43: runtime error: load of value 1818451807, whic

[Bug fortran/58233] null pointer cm in gfc_conv_structure at fortran/trans-expr.c:6132

2015-04-24 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58233 --- Comment #3 from Vittorio Zecca --- Still there on 4.9.2 at trans-expr.c:6193 if (!c->expr || (cm->attr.allocatable && cm->attr.flavor != FL_PROCEDURE)) /home/vitti/gcc-4.9.2-sanitize/test/f951 p.f MAIN__ p.f:1:0: internal compiler error: i

[Bug fortran/61907] load of invalid value for 'bool' in trans-array.c trans_array_constructor

2015-04-25 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61907 --- Comment #4 from Vittorio Zecca --- Still in 5.1.0 at trans-array.c:2223

[Bug fortran/61908] load of invalid value for 'expr_t' in interface.c compare_actual_formal

2015-04-25 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61908 --- Comment #4 from Vittorio Zecca --- Stiil in 5.1.0 at interface.c:2701

[Bug c/59776] New: gcc -g -O1 ICE in expand_debug_locations, at cfgexpand.c:3865

2014-01-12 Thread zeccav at gmail dot com
Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com /* gcc -g -O1 ICE in expand_debug_locations, at cfgexpand.c:3865 */ /* gcc 4.8.2-7 20131212 */ typedef struct { float re,im; } Complex; void sub_(Complex *var_Dummy

[Bug middle-end/59776] [4.8/4.9 Regression] gcc -g -O1 ICE in expand_debug_locations, at cfgexpand.c:3865

2014-01-12 Thread zeccav at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59776 --- Comment #3 from Vittorio Zecca --- Missing right brace at end of code.

[Bug middle-end/59776] [4.8/4.9 Regression] gcc -g -O1 ICE in expand_debug_locations, at cfgexpand.c:3865

2014-01-12 Thread zeccav at gmail dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59776 --- Comment #5 from Vittorio Zecca --- I am sorry I was not clear enough, in your shorter test case, after "s2 = s1;" there is a right brace "}" missing.

[Bug fortran/50402] ICE in gfc_conv_expr_descriptor

2015-09-02 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50402 --- Comment #2 from Vittorio Zecca --- ! gfortran ICE in gfc_conv_expr_descriptor at fortran/trans-array.c interface function f() pointer f end end interface type t real,pointer :: p(:) end type

[Bug fortran/58233] null pointer cm in gfc_conv_structure at fortran/trans-expr.c:6132

2015-09-02 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58233 --- Comment #4 from Vittorio Zecca --- Still there on 5.2.0

[Bug other/67446] New: libiberty sha1.c:324 sanitizer runtime error: load of misaligned address 0x62f00011847e for type 'const sha1_uint32', which requires 4 byte alignment

2015-09-03 Thread zeccav at gmail dot com
alignment Product: gcc Version: 5.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: other Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- While building the

[Bug ada/67473] New: init.c undefined behaviour referencing misaligned pointer

2015-09-06 Thread zeccav at gmail dot com
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- While running on the testsuite a sanitized version of the ada compiler I got the following RUN c52103x ,.,. C52103X ACATS 2.5 15-09-06 20:52:03^M

[Bug libgcc/67379] libgcc2.c negation of -2147483648 cannot be represented in type 'int'

2015-09-07 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67379 --- Comment #2 from Vittorio Zecca --- There is a similar bug in gcc/function.c:254 unsigned HOST_WIDE_INT size = FRAME_GROWS_DOWNWARD ? -offset : offset; when offset == -9223372036854775808 Should I open a new bug?

[Bug c/67482] New: dwarf2out.c sanitizer detects undefined behaviour negation of -9223372036854775808

2015-09-07 Thread zeccav at gmail dot com
Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- /* must be compiled with -O2 -g */ /* sanitizer runtime error message * gcc-5.2.0/gcc/dwarf2out.c:1532:45: runtime error

[Bug c++/67483] New: combine.c sanitizer detects undefined negative left shift

2015-09-07 Thread zeccav at gmail dot com
Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- //g++ -ftracer -O2 //g++ 5.2.0 undefined left shift //../../gcc-5.2.0/gcc/combine.c:7696:40: runtime error: shift exponent -1 is negative

[Bug c++/67484] New: options-save.c sanitizer asan detects freed storage referenced heap-use-after-free

2015-09-07 Thread zeccav at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- //g++ references freed storage //sanitizer message: heap-use-after-free //referenced at options-save.c:3556 "|| s

[Bug middle-end/67485] New: expmed.c sanitizer detects overflow

2015-09-07 Thread zeccav at gmail dot com
Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- /* gcc sanitizer runtime error message*/ /* gcc/expmed.c:3026:42: runtime error: signed integer overflow: -9223372036854775808 - 1 cannot be represented in type 'long i

[Bug tree-optimization/67486] New: ira-color.c sanitizer detects signed integer overflow

2015-09-07 Thread zeccav at gmail dot com
Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Created attachment 36302 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36302&action=edit C file to compile with g++ -Os -fPIC -std=gnu++11 //

[Bug ada/67494] New: xsinfo sanitizer detects overlapping strings in assignment statement

2015-09-08 Thread zeccav at gmail dot com
Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- The sanitizer detects overlapping strings in the assignemnt statement DR.Data (1 .. Source'Length) := Source; in a-strunb.adb

[Bug fortran/67496] New: trans-array.c sanitizer runtime error: load of value 124, which is not a valid value for type 'bool'

2015-09-08 Thread zeccav at gmail dot com
Status: UNCONFIRMED Severity: normal Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- !gcc-5.2.0/gcc/fortran/trans-array.c:2223:27: runtime error: load of value 124, which is n

[Bug fortran/67497] New: data.c sanitizer runtime error: null pointer passed as argument 2, which is declared to never be null

2015-09-08 Thread zeccav at gmail dot com
: UNCONFIRMED Severity: minor Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- !gcc-5.2.0/gcc/fortran/data.c:181:32: runtime error: null pointer passed as argument 2, which is

[Bug fortran/67498] New: interface.c sanitizer runtime error: load of value 1818451807, which is not a valid value for type 'expr_t'

2015-09-08 Thread zeccav at gmail dot com
ion: 5.2.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- !gcc-5.2.0/gcc/fortran/interface.c:2705:33: runtime error: loa

[Bug objc/67516] New: class.c left shift of 1271241028 by 4 places cannot be represented in type 'int'

2015-09-09 Thread zeccav at gmail dot com
NCONFIRMED Severity: normal Priority: P3 Component: objc Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Running 'make check' on objc I get many sanitizer messages as in /home/vitti/gcc-5.2.0/libobjc/cl

[Bug libfortran/67527] New: io.h sanitizer complains on 1 << 31

2015-09-09 Thread zeccav at gmail dot com
ortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- In io.h:314 #define IOPARM_INQUIRE_HAS_FLAGS2 (1 << 31) should be #define IOPARM_INQUIRE_HAS_FLAGS2 (1u<< 31) to make the sanitizer happy.

[Bug libfortran/67527] io.h sanitizer complains on 1 << 31

2015-09-09 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67527 --- Comment #1 from Vittorio Zecca --- Same at line 383 #define IOPARM_DT_IONML_SET (1 << 31) should be #define IOPARM_DT_IONML_SET (1u<< 31)

[Bug libfortran/67534] New: libgfortran.h sanitizer complains on left shift of ~0 runtime error: left shift of negative value -1

2015-09-09 Thread zeccav at gmail dot com
: UNCONFIRMED Severity: normal Priority: P3 Component: libfortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- The sanitizer complains on libgfortran.h:408 ((~((index_type) 0) >> GFC_DTYPE_SIZE

[Bug libfortran/67535] New: write.c sanitizer detects null pointer passed to memcpy

2015-09-09 Thread zeccav at gmail dot com
Priority: P3 Component: libfortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- During "make check" a null pointer is sometimes passed to memcpy in write.c:1877 memcpy (ext_name, base_name, base_name_len)

[Bug libfortran/67536] New: unix.c sanitizer detects null pointer passed to memcpy

2015-09-09 Thread zeccav at gmail dot com
Component: libfortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Running "make check" after building gcc the sanitizer complains that at unix.c:497 memcpy (buf, s->buffer + (s->logical_offset - s->buffer_of

[Bug libfortran/67535] write.c sanitizer detects null pointer passed to memcpy

2015-09-10 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67535 --- Comment #3 from Vittorio Zecca --- (In reply to kargl from comment #1) > What happens to performance? Simply making changes to > make sanitizer happy seems rather questionable. It's clear > from context that if base_name == NULL, then base

[Bug libfortran/67540] New: string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2015-09-10 Thread zeccav at gmail dot com
Priority: P3 Component: libfortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- During make check-fortran in gcc build the sanitizer complains that a null pointer is passed to memcpy in

[Bug libfortran/67535] write.c sanitizer detects null pointer passed to memcpy

2015-09-11 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67535 --- Comment #6 from Vittorio Zecca --- The cost of adding "if(base_name_len)" is two x86-64 machine instructions cmpl$0, -20(%rbp) je .L2 Six instructions follow then call memcpy which is not exactly a NOP eve

[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2015-09-12 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540 --- Comment #2 from Vittorio Zecca --- The pointer is NULL but the length is zero. The test case is allocate_deferred_char_scalar_1.exe on all eight combinations. As in Executing on host: /home/vitti/1tb/vitti/gcc-5.2.0-undefined/gcc/testsuite/g

[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2015-09-12 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540 --- Comment #3 from Vittorio Zecca --- I believe the test case is erroneous. NULL pointers are dereferenced in subroutines source_check and source_check4: if(str4 == '12a56b78') call abort() and if(str4 == 4_'12a56b78') call abort() are deref

[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2015-09-12 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540 --- Comment #5 from Vittorio Zecca --- On the same line CFLAGS="-fsanitize=undefined -Og -g -fno-omit-frame-pointer" CXXFLAGS=$CFLAGS LDFLAGS="-lubsan -ldl -lpthread" /home/vitti/gcc-5.2.0/configure --prefix=/home/vitti/1tb/local/gcc-5.2.0-undefi

[Bug libfortran/67540] string_intrinsics_inc.c sanitizer detects null pointer passed to memcpy

2015-09-13 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67540 --- Comment #7 from Vittorio Zecca --- str4 used to point to str so the "logic" seems to check that str4 does not follow any more str. But the test is erroneous.

[Bug libfortran/67534] libgfortran.h sanitizer complains on left shift of ~0 runtime error: left shift of negative value -1

2015-09-13 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67534 --- Comment #3 from Vittorio Zecca --- I tested on trunk. The sanitizer message disappeared.

[Bug fortran/67567] New: pretty-print.h sanitizer detects NULL pointer passed to obstack_grow

2015-09-13 Thread zeccav at gmail dot com
Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- While running make check-fortran on submodule_4.f08 the sanitizer complains that in pretty-print.h:142 obstack_grow (buff->obst

[Bug lto/67568] New: lto-streamer-in.c sanitizer runtime error: load of value 255, which is not a valid value for type 'bool'

2015-09-14 Thread zeccav at gmail dot com
Status: UNCONFIRMED Severity: minor Priority: P3 Component: lto Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Running make check in many test cases the sanitizer complains ../../gcc/gcc/lto-streamer-i

[Bug fortran/67567] resolve.c: gfc_error called with iface->module == NULL

2015-09-14 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67567 --- Comment #2 from Vittorio Zecca --- Unfortunately I do not master gdb and gcc internals enough for that. The check costs two instructions on my x86-64.

[Bug target/67484] options-save.c sanitizer asan detects freed storage referenced heap-use-after-free

2015-09-14 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67484 Vittorio Zecca changed: What|Removed |Added Version|5.2.0 |6.0 --- Comment #1 from Vittorio Zecca

[Bug testsuite/67583] New: libstdc++-v3/testsuite/27_io/basic_stringbuf/seekoff/char/1.cc:92 erroneous call to sputn

2015-09-15 Thread zeccav at gmail dot com
Severity: minor Priority: P3 Component: testsuite Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- libstdc++-v3/testsuite/27_io/basic_stringbuf/seekoff/char/1.cc:92 strmsz_2 = strb_01.sputn(" ravi sh

[Bug fortran/67588] New: module.c heap use after free

2015-09-15 Thread zeccav at gmail dot com
Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- Let us look at module.c:800 and next: use_list = module_list; for (; module_list->next; use_list = use_list->next) { module_list = use_list->next; free

[Bug target/67484] options-save.c sanitizer asan detects freed storage referenced heap-use-after-free

2015-09-15 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67484 --- Comment #5 from Vittorio Zecca --- Uros, I applied your patch and the sanitizer message disappeared. Is this still an UNCONFIRMED bug?

[Bug fortran/67588] module.c heap use after free

2015-09-17 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67588 --- Comment #5 from Vittorio Zecca --- I believe that use_list = module_list; at line module.c:805 is useless and can be expunged.

[Bug fortran/67588] module.c heap use after free

2015-09-17 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67588 --- Comment #7 from Vittorio Zecca --- use_list is local to the function gfc_match_submodule and it is already reinitialized in the for statement at line 806. So there is a duplication. On return at line 812 it is then lost. Maybe optimization wo

[Bug middle-end/64920] bootstrap-ubsan [build/gengtype -r gtype.state]: libiberty/regex.c:6970:11: runtime error: left shift of negative value -1

2015-09-17 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64920 --- Comment #2 from Vittorio Zecca --- I propose the following fix at line 688 of regex.c in trunk change (destination) += SIGN_EXTEND_CHAR (*((source) + 1)) << 8 ; \ into (*((source) + 1)) >= 0 ? (destination) += SIGN_EXTEND_CHAR (*(

[Bug other/66827] [6 Regression] left shifts of negative value warnings due to C++14 switch

2015-09-17 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66827 --- Comment #3 from Vittorio Zecca --- (In reply to Mikhail Maltsev from comment #1) > gcc/haifa-sched.c:1164:24 > gcc/haifa-sched.c:1442:26 > gcc/sched-deps.c:112:20 > > are caused by the following macro definition in gcc/sched-int.h:243: > #de

[Bug c++/58566] [c++11] ICE with invalid expression in lambda body

2015-09-25 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58566 Vittorio Zecca changed: What|Removed |Added CC||zeccav at gmail dot com --- Comment #2

[Bug fortran/67497] data.c sanitizer runtime error: null pointer passed as argument 2, which is declared to never be null

2015-11-05 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67497 --- Comment #2 from Vittorio Zecca --- Traveling now, I cannot check it.

[Bug fortran/67496] trans-array.c sanitizer runtime error: load of value 124, which is not a valid value for type 'bool'

2015-11-10 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67496 --- Comment #2 from Vittorio Zecca --- I am traveling now, I cannot check the patch

[Bug fortran/67498] interface.c sanitizer runtime error: load of value 1818451807, which is not a valid value for type 'expr_t'

2015-11-10 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67498 --- Comment #2 from Vittorio Zecca --- Sorry, I am traveling now, I'll look at it when I am back home, end of March 2016? Maybe you better close it, I think at that time gcc 6 will be available.

[Bug other/66827] [6 Regression] left shifts of negative value warnings due to C++14 switch

2015-11-18 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66827 --- Comment #5 from Vittorio Zecca --- I am traveling now so I cannot double check your hint. What do you suggest?

[Bug c/61779] New: gcc -Og fails with impossible constraint on legal C code

2014-07-11 Thread zeccav at gmail dot com
Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Created attachment 33108 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33108&action=edit Same code as in the bug Description The following code compiles fine

[Bug c/61779] gcc -Og fails with impossible constraint on legal C code

2014-07-11 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61779 --- Comment #1 from Vittorio Zecca --- I forgot to say that gcc 4.9.0 fails but compiles correctly on gcc 4.8.3.

[Bug c/61779] gcc -Og fails with impossible constraint on legal C code

2014-07-15 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61779 --- Comment #5 from Vittorio Zecca --- I just applied your fix and now gcc compiles succesfully with -Og.

[Bug c/61779] gcc -Og fails with impossible constraint on legal C code

2014-07-15 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61779 --- Comment #7 from Vittorio Zecca --- I forgot to mention that my code fragment comes from #include void f(void) { for (;;) _SDT_PROBE(0, 0, 1,(0)); } Maybe you can find intelligent ways to exercise this code and find more -Og bugs?

[Bug c/61779] gcc -Og fails with impossible constraint on legal C code

2014-07-24 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61779 --- Comment #10 from Vittorio Zecca --- I just installed gcc-4.9.1 and it still has this bug. It does not even compile itself (divtf3.c) with -Og.

[Bug c/61900] New: loc_descr_plus_const sanitizer runtime error in xgcc while building libgcc_s

2014-07-24 Thread zeccav at gmail dot com
: minor Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com While building gcc/libgcc_s and using -fsanitize=undefined a runtime error is detected in dwarf2out.c:1488:53 "loc->dw_loc_next = int_loc_de

[Bug c/61901] New: cc1 sanitizer runtime error in i386.c classify_argument

2014-07-24 Thread zeccav at gmail dot com
Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com After building gcc with -fsanitize=undefined, analyzing the gcc testsuite with the "sanitized" cc1 I got runtime error messages "../../gcc-4.9.1/gcc/config/i386

[Bug target/61901] cc1 sanitizer runtime error in i386.c classify_argument

2014-07-25 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61901 --- Comment #2 from Vittorio Zecca --- I am sorry about opening a duplicate.

[Bug c/61902] New: signed integer overflow in real.c in real_from_integer

2014-07-25 Thread zeccav at gmail dot com
Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Running sanitized cc1 on testsuite files fp-int-convert-float80-timode.c and fp-int-convert-timode.c and fp-int-convert-float128-timode.c I get the following "../../gcc-4.9.1/gcc/real.c:21

[Bug c/61903] New: signed integer overflow in expmed.c store_fixed_bit_filed_1

2014-07-25 Thread zeccav at gmail dot com
Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Compiling testsuite code pr28045.c the sanitizer claims that a signed integer overflow occurs at expmed.c:1071 "../../gcc-4.9.1/gcc/expmed.c:1071:41: runtime error: s

[Bug c/61903] signed integer overflow in expmed.c store_fixed_bit_filed_1

2014-07-25 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61903 --- Comment #1 from Vittorio Zecca --- Same runtime error at line 1076 of expmed.c "&& v == ((HOST_WIDE_INT) 1 << bitsize) - 1)" compiling pr28045.c

[Bug c/61905] New: zero variable length array bound in cp-demangle.c cplus_demangle_print_callback

2014-07-25 Thread zeccav at gmail dot com
: minor Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com The sanitizer claims that compiling the testsuite files pr21255-2-mb.c and pr21255-4.c and pr21255-3.c and pr21255-2-ml.c a zero variable length array

[Bug fortran/61907] New: load of invalid value for 'bool' in trans-array.c trans_array_constructor

2014-07-25 Thread zeccav at gmail dot com
Severity: minor Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Compiling many testsuite files with a sanitized gfortran, as in typebound_assignment_6.f03, elemental_subroutine_2.f90, move_al

[Bug fortran/61908] New: load of invalid value for 'expr_t' in interface.c compare_actual_formal

2014-07-25 Thread zeccav at gmail dot com
ity: minor Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Compiling the testsuite file unlimited_polymorphic_16 with sanitized gfortran I get the following "../../gcc-4.9.1/gcc/fortran/inte

[Bug fortran/61910] New: undefined computation in trans-expr.c gfc_conv_cst_int_power

2014-07-25 Thread zeccav at gmail dot com
Priority: P3 Component: fortran Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Analyzing with sanitized gfortran the following line j=i**(-huge(0_8)-1) I get the following message: ../../gcc-4.9.1/gcc/fortran/trans-expr.c:2107:48: runtime

[Bug c/61779] gcc -Og fails with impossible constraint on legal C code

2014-07-25 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61779 --- Comment #12 from Vittorio Zecca --- Yes, you did say it will be fixed in 4.9.2. Sorry. I did: export CFLAGS="-ggdb -Og" export CXXFLAGS=$CFLAGS ../gcc-4.9.1/configure --prefix=/home/vitti/local/gcc-4.9.1 --disable-lto --with-tune=k8 --enable-

[Bug c/61942] New: loop-iv.c:2272 signed integer overflow

2014-07-29 Thread zeccav at gmail dot com
Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com /* from pr32349.c */ // gcc -funroll-loops -O3 // ../../gcc-4.9.1/gcc/loop-iv.c:2272:24: runtime error: // signed integer overflow: 9223372036854775807 - -9223372036854775808 cannot be represented in type '

[Bug c/61943] New: tree-ssa-loop-ivopts.c:4148 signed integer overflow

2014-07-29 Thread zeccav at gmail dot com
Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com // from pr55569.c // gcc -O // ../../gcc-4.9.1/gcc/tree-ssa-loop-ivopts.c:4148:24: runtime error: signed integer overflow: 4 * 4611686018427387903 cannot be represented in type 'long int'

[Bug c/61944] New: loop-iv.c:2610 signed integer overflow

2014-07-29 Thread zeccav at gmail dot com
Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com // from pr42049.c // gcc -funroll-loops -O // ../../gcc-4.9.1/gcc/loop-iv.c:2610:14: runtime error: // signed integer overflow: 7 - -9223372036854775808 cannot be represented in type 'long int' //

[Bug fortran/61910] undefined computation in trans-expr.c gfc_conv_cst_int_power

2014-08-04 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61910 --- Comment #2 from Vittorio Zecca --- It appears not depending on i value, for i=1 or 2. No explicit options used. Of course I used options -fsanizitized=address -fsanitized=undefined to generate gfortran. I think it is either a gfortran or a s

[Bug fortran/61910] undefined computation in trans-expr.c gfc_conv_cst_int_power

2014-08-04 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61910 --- Comment #3 from Vittorio Zecca --- A fix for the offending instruction at trans-expr.c:2107 "n = (unsigned HOST_WIDE_INT) (m < 0 ? -m : m);" might be "n = (unsigned HOST_WIDE_INT) (m < 0 ? - (unsigned HOST_WIDE_INT) m : m);" So it seems this

[Bug c/62058] New: Undefined behaviour in tree-data-ref.c with options -O1 -ftree-loop-vectorize

2014-08-08 Thread zeccav at gmail dot com
: minor Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com /* from testsuite p60183.c */ /* gcc 4.9.1 -S -O1 -ftree-loop-vectorize */ /* ../../gcc-4.9.1/gcc/tree-data-ref.c:2423:16: runtime error: signed integer

[Bug c/62059] New: signed integer overflow in diagnostic.c adjust_line

2014-08-08 Thread zeccav at gmail dot com
Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Created attachment 33272 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33272&action=edit Used by test case // gcc 4.9.1 // ../../gcc-4.9.1/gcc/diagnostic.c:274:42: runtime error:

[Bug tree-optimization/61943] tree-ssa-loop-ivopts.c:4148 signed integer overflow

2014-09-03 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61943 --- Comment #2 from Vittorio Zecca --- gcc was compiled with -fsanitize=undefined option. Call it gcc-sanitized. Then I did gcc-sanitized -S gccerr13.c -O where gccerr13.c is the sample C code I sent bugzilla The option -O is necessary to reprodu

[Bug debug/61900] loc_descr_plus_const sanitizer runtime error in xgcc while building libgcc_s

2014-09-05 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61900 --- Comment #2 from Vittorio Zecca --- This happens when I build gcc itself with option -fsanitize=undefined, at build time, in directory x86_64-unknown-linux-gnu/32/libgcc.

[Bug rtl-optimization/61942] loop-iv.c:2272 signed integer overflow

2014-09-05 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61942 --- Comment #2 from Vittorio Zecca --- This is what I get on x86-64 with a sanitized version of gcc: ~/local/gcc-4.9.1-sanitized/bin/gcc -S gccerr12.c -funroll-loops -O3 ../../gcc-4.9.1/gcc/loop-iv.c:2272:24: runtime error: signed integer overf

[Bug rtl-optimization/61942] loop-iv.c:2272 signed integer overflow

2014-09-07 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61942 --- Comment #4 from Vittorio Zecca --- If you cannot reproduce the issue, not even with options -funroll-loops -O3, I believe this bug should be closed. I'll look again at it with the new release. I prefer not to work with trunk.

[Bug c/66853] New: sanitized gcc shows bug in rtlanal.c:4911 shift exponent too large because bitwitdth==0

2015-07-13 Thread zeccav at gmail dot com
Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- This appears to be a duplicate for 64327 Sanitized version of gcc 5.1.0 shows a bug in the following /* from gcc file

[Bug middle-end/64327] ../../gcc/gcc/rtlanal.c:4881:48: runtime error: shift exponent 4294967295 is too large for 64-bit type 'long unsigned int'

2015-07-13 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64327 Vittorio Zecca changed: What|Removed |Added CC||zeccav at gmail dot com --- Comment #2

[Bug middle-end/64327] ../../gcc/gcc/rtlanal.c:4881:48: runtime error: shift exponent 4294967295 is too large for 64-bit type 'long unsigned int'

2015-07-14 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64327 --- Comment #4 from Vittorio Zecca --- For your convenience I repeat here the reproducer: /* from gcc file fixopts.c */ /* must be compiled with -O2 */ /*gcc-5.1.0/gcc/rtlanal.c:4911:48: runtime error: shift exponent 4294967295 is too large for 6

[Bug c++/66896] New: ipa-prop.c:2479 runtime error: member call on null pointer of type 'struct ipa_polymorphic_call_context'

2015-07-16 Thread zeccav at gmail dot com
Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- //must be compiled with -O2 , or "-O[1] -fdevirtualize" //ipa-prop.c:2479:30: r

[Bug ipa/66896] ipa-prop.c:2479 runtime error: member call on null pointer of type 'struct ipa_polymorphic_call_context'

2015-07-16 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66896 --- Comment #5 from Vittorio Zecca --- Yes I applied the fix and it now works on all the gcc testsuite.

[Bug rtl-optimization/66940] New: ifcvt.c:1907 signed integer overflow

2015-07-19 Thread zeccav at gmail dot com
-optimization Assignee: unassigned at gcc dot gnu.org Reporter: zeccav at gmail dot com Target Milestone: --- /* must be compiled with -O */ /* in noce_get_alt_condition */ /*gcc-5.2.0/gcc/ifcvt.c:1907: runtime error: signed integer overflow: 9223372036854775807 + 1 cannot be

[Bug middle-end/64327] ../../gcc/gcc/rtlanal.c:4881:48: runtime error: shift exponent 4294967295 is too large for 64-bit type 'long unsigned int'

2015-07-19 Thread zeccav at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64327 --- Comment #5 from Vittorio Zecca --- In 5.2.0 too.

<    1   2   3   4   5   6   >