[Bug debug/45717] New: regression in debug info on simple C++ code
Given the following simple code snippet, tested on x86_64-pc-linux-gnu,
i686-pc-linux-gnu, and i686-pc-mingw32:
struct Elem {
int data;
struct Elem* next;
};
int main () {
struct Elem* list;
return 0;
}
Compile with:
g++ main.cc -o main
run under gdb:
gdb main
ptype Elem
yields:
type = struct Elem {
int data;
void *next;
}
instead of (with e.g. g++ 4.4.3):
type = struct Elem {
int data;
Elem *next;
}
--
Summary: regression in debug info on simple C++ code
Product: gcc
Version: 4.5.2
Status: UNCONFIRMED
Keywords: wrong-debug
Severity: normal
Priority: P3
Component: debug
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: charlet at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45717
[Bug debug/45717] regression in debug info on simple C++ code
--- Comment #1 from charlet at gcc dot gnu dot org 2010-09-18 12:51 --- Note that this works fine on mainline and 4.3.x, 4.4.x -- charlet at gcc dot gnu dot org changed: What|Removed |Added Known to work|4.4.3 |4.3.6 4.4.3 4.4.5 4.6.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45717
[Bug ada/43993] Foreign thread results in Task_Alternate_Stack being used unitialized on linux
--- Comment #1 from charlet at gcc dot gnu dot org 2010-09-10 09:47 --- Fixed by revision 164149 -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.6.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43993
[Bug ada/22220] Unable to build gnattools native i586
--- Comment #6 from charlet at gcc dot gnu dot org 2010-06-23 07:09 --- Subject: Bug 0 Author: charlet Date: Wed Jun 23 07:08:46 2010 New Revision: 161255 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=161255 Log: PR 0 * doc/install.texi: Update requirements to build GNAT. Modified: trunk/gcc/ChangeLog trunk/gcc/doc/install.texi -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=0
[Bug ada/22220] Unable to build gnattools native i586
--- Comment #7 from charlet at gcc dot gnu dot org 2010-06-23 07:11 --- Doc updated. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=0
[Bug ada/22220] Unable to build gnattools native i586
--- Comment #8 from charlet at gcc dot gnu dot org 2010-06-23 07:48 --- Subject: Bug 0 Author: charlet Date: Wed Jun 23 07:47:57 2010 New Revision: 161256 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=161256 Log: Replace PR 0 by PR ada/0. Modified: trunk/gcc/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=0
[Bug ada/44633] Incorrect behaviour of gnat make -s flag with -gnatW8
--- Comment #2 from charlet at gcc dot gnu dot org 2010-06-23 09:15 --- Subject: Bug 44633 Author: charlet Date: Wed Jun 23 09:14:55 2010 New Revision: 161264 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=161264 Log: 2010-06-23 Thomas Quinot qui...@adacore.com * sem_util.adb: Minor code cleanup: test for proper entity instead of testing just Chars attribute when checking whether a given scope is System. * exp_ch4.adb, einfo.adb: Minor reformatting. 2010-06-23 Vincent Celier cel...@adacore.com PR ada/44633 * switch-m.adb (Normalize_Compiler_Switches): Take into account switches -gnatB, -gnatD=nn, -gnatG (incuding -gnatG=nn), -gnatI, -gnatl=file, -gnatS, -gnatjnn, -gnateI=nn and -gnatWx. 2010-06-23 Ed Schonberg schonb...@adacore.com * sem_res.adb (Resolve_Membership_Op): If left operand is a mixed mode operation with a universal real operand, and the right operand is a range with universal bounds, find unique fixed point that may be candidate, and warn appropriately. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/einfo.adb trunk/gcc/ada/exp_ch4.adb trunk/gcc/ada/sem_res.adb trunk/gcc/ada/sem_util.adb trunk/gcc/ada/switch-m.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44633
[Bug ada/44633] Incorrect behaviour of gnat make -s flag with -gnatW8
--- Comment #3 from charlet at gcc dot gnu dot org 2010-06-23 09:15 --- Fixed on trunk. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.6.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44633
[Bug ada/38832] Main program runs fine but hangs on exit when linked with Ada shared lib
--- Comment #6 from charlet at gcc dot gnu dot org 2010-04-30 09:36 --- The bug is in your manual build procedure (the patch to s-finimp.adb is a kludge that would only hide the wrong build procedure) which is bypassing the gnat toolset normal operations. I would suggest using stand alone library project files which are designed for exactly this purpose, and will create a proper executable without calling elaboration twice, see the GNAT documentation for more details. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38832
[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return
--- Comment #5 from charlet at gcc dot gnu dot org 2009-11-23 08:21 --- Sorry, but we still need a self contained set of sources attached in bugzilla (with only the needed sources to reproduce the bug), and a single, stand alone gcc command line with no extra shell scripts. See http://gcc.gnu.org/bugs/ for more details. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42150
[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return
--- Comment #1 from charlet at gcc dot gnu dot org 2009-11-22 18:42 --- We only accept self contained reproducers, and preeferably with a straight gcc command rather than levels of Makefiles/scripts on top of it. So can you please file the needed files (and no more) as well as the needed gcc command to reproduce this? TIA. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42150
[Bug tree-optimization/30911] VRP fails to eliminate range checks in Ada code
--- Comment #74 from charlet at gcc dot gnu dot org 2009-11-17 17:03 --- Marking as WONTFIX, as requested -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30911
[Bug ada/39502] Unexpected uninitialized warning
--- Comment #7 from charlet at gcc dot gnu dot org 2009-10-08 15:08 --- Feel free to submit a patch. Note that middle-end warnings (such as -Wuninitialized) do not always support properly all front-end semantics, in particular for high level languages such as Ada, so I'd recommend simply removing this switch. Classifying as an enhancement btw, since this is only a warning, and warnings always produce false positives, so this is not necessarily unexpected. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|normal |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39502
[Bug ada/41419] [450 regression] many new ACATs failures (breakpoint instruction in object)
--- Comment #7 from charlet at gcc dot gnu dot org 2009-09-20 16:58 --- Get_Page_Size should indeed now not be a dummy value and cannot be 0. I'll take care of updating the comments in s-osinte*.ads when I get a chance -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41419
[Bug other/41105] Tickets
--- Comment #1 from charlet at gcc dot gnu dot org 2009-08-18 14:32 --- remove 'ada' component -- charlet at gcc dot gnu dot org changed: What|Removed |Added Component|ada |other http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41105
[Bug ada/17566] Gnatxref formatting
--- Comment #2 from charlet at gcc dot gnu dot org 2009-08-10 08:25 --- Subject: Bug 17566 Author: charlet Date: Mon Aug 10 08:25:05 2009 New Revision: 150617 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=150617 Log: 2009-08-10 Vincent Celier cel...@adacore.com PR ada/17566 * xref_lib.adb (Print_Xref): Make sure that there is at least one space between a declaration name and its type. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/xref_lib.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17566
[Bug ada/17566] Gnatxref formatting
--- Comment #3 from charlet at gcc dot gnu dot org 2009-08-10 08:27 --- Should now be fixed -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17566
[Bug ada/40926] Ada errors in trunk
--- Comment #4 from charlet at gcc dot gnu dot org 2009-08-02 09:11 --- I guess you did not follow the build instructions properly: if you build a cross Ada compiler, you need to first build a matching native compiler from the *same* sources. Here you are using an older base compiler, hence the errors you are getting. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40926
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #15 from charlet at gcc dot gnu dot org 2009-07-26 20:33 --- Right, my change fixed gnatmake so that it would call the proper gcc (based on the previous comments on this PR), but Makefiles have never supported --program-suffix, so that's not even a regression. Feel free to submit a patch, I think it would be fair for someone with an interest in this feature to do so, since Ada maintainers have no specific interest in this option, and this is really a Makefile/infrastructure issue at this stage rather than an Ada issue (I did fix the Ada specific issue reported in gnatmake, and this feature is still working AFAIK). -- charlet at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|charlet at gcc dot gnu dot |unassigned at gcc dot gnu |org |dot org Status|REOPENED|NEW Target Milestone|4.4.0 |--- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug target/40837] New: trampolines not working on x86-64 windows vista
The following C program should print 369, and return a zero exit status.
It does not work on 64-bit Windows Vista. Instead, it crashes before
the printf, and returns exit status 5. This is, I assume, because
trampolines do not work. I guess the protection bits for stack pages need
to be set to allow execute when trampolines are present.
The program works on x86-64 linux.
Compiled with gcc trampoline.c.
Note that this is not legal C code. It uses the gcc-specific nested-function
extension.
#include stdio.h
#include assert.h
int f (void (*action) (void))
{
(*action)();
}
int g (void)
{
int local = 123;
void nested (void)
{
local = local + 246;
}
f (nested);
printf (%d\n, local);
assert (local == 369);
}
int main (void)
{
g();
return (0);
}
--
Summary: trampolines not working on x86-64 windows vista
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: charlet at gcc dot gnu dot org
GCC host triplet: x86_64-pc-mingw32
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40837
[Bug target/40837] trampolines not working on x86-64 windows vista
--- Comment #2 from charlet at gcc dot gnu dot org 2009-07-23 12:20 --- Are you using a 64 bit compiler? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40837
[Bug target/40837] trampolines not working on x86-64 windows vista
--- Comment #4 from charlet at gcc dot gnu dot org 2009-07-23 13:10 --- Interesting, thanks for the feedback. Let me double check a few things on my side (testing various GCC versions). Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40837
[Bug target/40837] trampolines not working on x86-64 windows vista
--- Comment #6 from charlet at gcc dot gnu dot org 2009-07-23 15:02 --- My confusion: I thought I had tested with GCC 4.5 but in fact I had used GCC 4.3 which does not have the 'MINGW_ENABLE_EXECUTE_STACK' macro (and __enable_execute_stack symbol). Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 Version|4.5.0 |4.3.4 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40837
[Bug ada/21490] Illegal program not detected, RM 3.6(11)
--- Comment #2 from charlet at gcc dot gnu dot org 2009-07-19 14:37 --- This is now handled properly (has been for a long time actually). In Ada 95 mode, the code is rejected: test_306835.adb:9:04: instantiation error at line 5 test_306835.adb:9:04: aliased component type must be constrained (RM 3.6(11)) and in Ada 2005 mode (the default) the code is accepted, as per AI 363 -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21490
[Bug ada/40116] GNAT BUG get_memory_rtx, at builtins.c:1087
--- Comment #1 from charlet at gcc dot gnu dot org 2009-05-12 12:32 --- Well, there's nothing we can do without a stand alone (if possible simplified) reproducer. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|critical|normal Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40116
[Bug ada/35953] Socket stream subprograms incorrectly handling null arrays
--- Comment #1 from charlet at gcc dot gnu dot org 2009-04-17 13:39 --- Subject: Bug 35953 Author: charlet Date: Fri Apr 17 13:39:10 2009 New Revision: 146267 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=146267 Log: 2009-04-17 Thomas Quinot qui...@adacore.com PR ada/35953 * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb, g-socthi-vxworks.ads, g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads, g-socket.adb, g-socket.ads (GNAT.Sockets.Thin.C_Send, GNAT.Sockets.Thin.Syscall_Send): Remove unused subprograms. Replace calls to send(2) with equivalent sendto(2) calls. (GNAT.Sockets.Send_Socket): Factor common code in inlined subprogram. (GNAT.Sockets.Write): Account for the case of hyper-empty arrays, do not report an error in that case. Factor code common to the two versions (datagram and stream) in common routine Stream_Write. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/g-socket.adb trunk/gcc/ada/g-socket.ads trunk/gcc/ada/g-socthi-mingw.adb trunk/gcc/ada/g-socthi-mingw.ads trunk/gcc/ada/g-socthi-vms.adb trunk/gcc/ada/g-socthi-vms.ads trunk/gcc/ada/g-socthi-vxworks.adb trunk/gcc/ada/g-socthi-vxworks.ads trunk/gcc/ada/g-socthi.adb trunk/gcc/ada/g-socthi.ads trunk/gcc/ada/g-stsifd-sockets.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35953
[Bug ada/35953] Socket stream subprograms incorrectly handling null arrays
--- Comment #2 from charlet at gcc dot gnu dot org 2009-04-17 13:41 --- Fixed on trunk -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED Target Milestone|--- |4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35953
[Bug middle-end/39625] [4.5 regression] Revision 145338 breaks ability to build Ada
--- Comment #23 from charlet at gcc dot gnu dot org 2009-04-09 06:37 --- Certainly, pa-hpux and ia64-hpux are two very different platforms as far as GCC is concerned. Also, yes, FSF GCC and GNAT Pro are two very different beasts with a different list of supported/tested platforms, versions, features, etc..., and you cannot draw any conclusion about one from info coming from the other. Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39625
[Bug middle-end/39625] [4.5 regression] Revision 145338 breaks ability to build Ada
--- Comment #26 from charlet at gcc dot gnu dot org 2009-04-09 15:40 --- Is the (small amount of ?) code in Gnat Pro going to be available (someday) for gcc Ada. That may fix these problems. There's still confusion I'm afraid. GCC Ada is just an Ada compiler. GNAT Pro is a complete commercial Ada toolchain (where GCC is one of many components), so comparing both is like comparing apples and oranges. Anyway, that's not really relevant to this discussion since GNAT Pro is not based on GCC 4.5 as of today, and so does not suffer from this PR (yet) in any case. In other words, there are no code in GNAT Pro that would somehow address this recent bug in GCC 4.5. We still have the issue that all Platforms accept the (usually non-default) ./configure option --enable-sjlj-exceptions which leads to this Bug on supported Platforms (and leads us down the path of breaking that Option). No, platforms that do not use ZCX with GNAT use GNAT's front-end setjmp/longjmp implementation, which is completely different from GCC's sjlj exception (--enable-sjlj-exceptions related to GCC sjlj, not GNAT's fe setjmp/longjmp), so once again, these platforms are not affected by this bug, only windows is. Anyway, if someone (e.g. Richard Guenther, who apparently introduced it) can fix this bug, that'd be great, I think this on the side discussion is only generating noise and confusion at this point. Richard, if you want to reproduce the bug, you'll need to modify the system-xxx.ads file you use on your config to set ZCX_By_Default to False, that should be sufficient. Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39625
[Bug ada/39687] [4.5 Regression] Ada bootstrap is broken
--- Comment #1 from charlet at gcc dot gnu dot org 2009-04-08 12:19 --- Fixed now, sorry about that, I left out g-socket.ads -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39687
[Bug ada/37681] [4.4 regression] Building 64-bit libada fails on Solaris/x86: alignment error
--- Comment #4 from charlet at gcc dot gnu dot org 2008-09-30 15:06 --- I'm assuming the proper --disable switch is either already there, if not, probably worth opening another PR. Keeping this PR as an enhancement request to add support for x86_64 solaris for Ada. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|major |enhancement Target Milestone|4.4.0 |--- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37681
[Bug target/37396] bootstrap broken on hppa-linux-gnu trunk with ada (20080906)
--- Comment #2 from charlet at gcc dot gnu dot org 2008-09-07 09:39 --- This is a bug in your base compiler, not in GCC 4.4.0. See other past reports on this issue, where the bug was in the distributor (Debian ?) compiler, and not in any official GCC releases. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WORKSFORME http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37396
[Bug ada/37109] can't canadian cross ada (if host=target, but host!=build)
--- Comment #1 from charlet at gcc dot gnu dot org 2008-08-13 09:28 --- This was broken by the following change AFAICT (rev 121082): 2007-01-23 Richard Guenther [EMAIL PROTECTED] PR bootstrap/30541 * Makefile.def (flags_to_pass): Add GNATBIND and GNATMAKE. * Makefile.tpl (GNATBIND): Substitute it. (GNATMAKE): Likewise. (POSTSTAGE1_FLAGS_TO_PASS): Pass staged GNATBIND instead of STAGE_PREFIX. * Makefile.in: Regenerate. * configure: Regenerate. config/ * acx.m4 (ACX_PROG_GNAT): Check for gnatmake. libada/ * Makefile.in (STAGE_PREFIX): Do not define. (FLAGS_TO_PASS): Do not pass STAGE_PREFIX. gnattools/ * Makefile.in (STAGE_PREFIX): Do not define. ada/ * Make-lang.in: Replace invocations of gnatmake with $(GNATMAKE). (gnatboot2): Pass staged GNATMAKE instead of STAGE_PREFIX. (gnatboot3): Likewise. (GNATBIND): Do not define. * Makefile.in (GNATBIND): Do not define. Before that, we were using 'gnatmake' instead of '$(GNATMAKE)', which is what's causing troubles here. Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37109
[Bug ada/37110] Assert_Failure at atree.adb:886 caused by legal prefixed notation
--- Comment #1 from charlet at gcc dot gnu dot org 2008-08-13 10:34 --- Please submit a self contained bug report with all needed sources. Even better would be a reduced test case, thanks. Note that GPS sources have changed and no longer have the code you quote. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37110
[Bug ada/37034] /bin/sh: line 1: 26087 Aborted (core dumped) ./xsinfo ../../sinfo.h
--- Comment #7 from charlet at gcc dot gnu dot org 2008-08-13 13:20 --- Closing, we're not in the business of figuring out what's wrong with debian's version of GCC :-) -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WORKSFORME http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37034
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #10 from charlet at gcc dot gnu dot org 2008-05-29 08:56 --- Subject: Bug 864 Author: charlet Date: Thu May 29 08:56:01 2008 New Revision: 136149 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=136149 Log: PR ada/864 * osint.ads, osint.adb (Program_Name): New parameter Prog to allow recognition of program suffix in addition to prefix. * gnatchop.adb (Locate_Executable): Add support for prefix. * make.adb, gnatcmd.adb, gnatlink.adb, prj-makr.adb, mlib-utl.adb: Adjust calls to Program_Name. Modified: trunk/gcc/ada/gnatchop.adb trunk/gcc/ada/gnatcmd.adb trunk/gcc/ada/gnatlink.adb trunk/gcc/ada/make.adb trunk/gcc/ada/mlib-utl.adb trunk/gcc/ada/osint.adb trunk/gcc/ada/osint.ads trunk/gcc/ada/prj-makr.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #11 from charlet at gcc dot gnu dot org 2008-05-29 08:59 --- Fixed. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug ada/33857] Cannot bootstrap Ada with host gnatmake-4.2
--- Comment #12 from charlet at gcc dot gnu dot org 2008-05-29 09:04 --- Also a duplicate of PR864, which is now fixed. *** This bug has been marked as a duplicate of 864 *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33857
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #12 from charlet at gcc dot gnu dot org 2008-05-29 09:04 --- *** Bug 33857 has been marked as a duplicate of this bug. *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added CC||rguenth at gcc dot gnu dot ||org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug ada/34446] gnatprep evaluating not operator at incorrect precidence
--- Comment #5 from charlet at gcc dot gnu dot org 2008-05-28 15:56 --- Subject: Bug 34446 Author: charlet Date: Wed May 28 15:55:41 2008 New Revision: 136111 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=136111 Log: 2008-05-28 Vincent Celier [EMAIL PROTECTED] PR ada/34446 * gnat_ugn.texi: Document restriction introduced on 2007-04-20 in preprocessing expressions Modified: trunk/gcc/ada/gnat_ugn.texi -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34446
[Bug ada/34446] gnatprep evaluating not operator at incorrect precidence
--- Comment #6 from charlet at gcc dot gnu dot org 2008-05-28 15:58 --- Documentation has been updated, so closing. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34446
[Bug bootstrap/36311] Bootstrapping ada fails
--- Comment #1 from charlet at gcc dot gnu dot org 2008-05-23 11:58 --- This has been fixed already by Eric, rev 135797 Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36311
[Bug ada/30740] Improper semantics in gnat's compilation of certain expressions involving modular arithmetic
--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-20 12:38 --- About to commit proper patch from Robert Dewar. -- charlet at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|sam at gcc dot gnu dot org |charlet at gcc dot gnu dot ||org Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30740
[Bug ada/24533] FAIL: a85013b: *** glibc detected *** free(): invalid pointer: 0x00062a00 ***
--- Comment #23 from charlet at gcc dot gnu dot org 2008-05-20 12:44 --- Subject: Bug 24533 Author: charlet Date: Tue May 20 12:43:59 2008 New Revision: 135614 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=135614 Log: 2008-05-20 Arnaud Charlet [EMAIL PROTECTED] * s-linux-hppa.ads (atomic_lock_t): Put back proper alignment now that the underlying issue with malloc/free has been fixed. Remove associated comments. Minor reformatting. Related to PR ada/24533 Modified: trunk/gcc/ada/s-linux-hppa.ads -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24533
[Bug ada/30740] Improper semantics in gnat's compilation of certain expressions involving modular arithmetic
--- Comment #4 from charlet at gcc dot gnu dot org 2008-05-20 12:45 --- Subject: Bug 30740 Author: charlet Date: Tue May 20 12:44:55 2008 New Revision: 135619 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=135619 Log: 2008-05-20 Robert Dewar [EMAIL PROTECTED] PR ada/30740 * einfo.ads, einfo.adb (Non_Binary_Modulus): Applies to all types and subtypes, always False for non-modular types. Shared_Var_Assign_Proc (node22) and Shared_Var_Read_Proc (node 15) entry nodes have been replaced by Shared_Var_Procs_Instance (node22) for Shared_Storage package. (Is_RACW_Stub_Type): New entity flag. * exp_ch4.adb (Expand_N_Op_Expon): Avoid incorrect optimization of a*(2**b) in the case where we have a modular type with a non-binary modules. Comments reformattings. * sem_intr.adb: Simplify code not that Non_Binary_Modulus applies to all types. Modified: trunk/gcc/ada/einfo.adb trunk/gcc/ada/einfo.ads trunk/gcc/ada/exp_ch4.adb trunk/gcc/ada/sem_intr.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30740
[Bug ada/17985] GNAT accepts extension aggregate where expexted type is not extension
--- Comment #4 from charlet at gcc dot gnu dot org 2008-05-20 12:50 --- Subject: Bug 17985 Author: charlet Date: Tue May 20 12:49:21 2008 New Revision: 135636 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=135636 Log: 2008-05-20 Ed Schonberg [EMAIL PROTECTED] * sem_aggr.adb: Update comments. Improve previous change for PR ada/17985 Modified: trunk/gcc/ada/sem_aggr.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17985
[Bug ada/30740] Improper semantics in gnat's compilation of certain expressions involving modular arithmetic
--- Comment #5 from charlet at gcc dot gnu dot org 2008-05-20 13:07 --- Fixed. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30740
[Bug ada/36250] --enable-threads=gnat stops build
--- Comment #1 from charlet at gcc dot gnu dot org 2008-05-18 11:15 --- --enable-threads=gnat is obsolete and will be removed as soon as someone submits a patch to that effect. Your report simply shows that nobody is using it these days (and use the default instead). Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36250
[Bug ada/29127] gnatchop-gcc: installation problem, executable not found
--- Comment #9 from charlet at gcc dot gnu dot org 2008-05-13 13:24 --- I'm sorry, but I have an experimental patch (still needs some refining) fixing PR864 which does also fix this PR, so I do not understand your comment, could you please elaborate ? Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29127
[Bug ada/29127] gnatchop-gcc: installation problem, executable not found
--- Comment #11 from charlet at gcc dot gnu dot org 2008-05-13 13:39 --- Right, as I said, this is exactly PR864 for which I have an experimental patch which needs small refinements. Arno *** This bug has been marked as a duplicate of 864 *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|WAITING |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29127
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #8 from charlet at gcc dot gnu dot org 2008-05-13 13:39 --- *** Bug 29127 has been marked as a duplicate of this bug. *** -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #9 from charlet at gcc dot gnu dot org 2008-05-13 13:40 --- Assigning to myself. -- charlet at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |charlet at gcc dot gnu dot |dot org |org Status|NEW |ASSIGNED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug ada/35372] Memory corruption at unchecked deallocation of the interface classwide type
--- Comment #4 from charlet at gcc dot gnu dot org 2008-05-12 21:54 --- Lowering severity -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|critical|normal http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35372
[Bug ada/33889] Inefficient code expansion for extended return statement
--- Comment #1 from charlet at gcc dot gnu dot org 2008-05-12 22:05 --- This is not accessibility level which is computed here, but dynamic task master level, in case your interface is a synchronized interface. You can already use pragma Restrictions (No_Task_Hierarchy) if you do not want this code expansion. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33889
[Bug ada/18302] ACATS tests hang: c74004a, c960004, and others
--- Comment #20 from charlet at gcc dot gnu dot org 2008-05-12 22:19 --- This PR is puzzling and confused: the original issue (tests failing on some platform) has been addressed. The new issue which seem the be keeping this PR opened is the ability to run ACATS tests using expect to have a timeout. A patch has been committed to various branches but not under trunk, for no apparent reason. So I am closing this PR on the grounds that the original issue is fixed. In addition, if someone wants to commit/submit the expect change on trunk, it's certainly fine with me. The last report about mingw also has nothing to do with the original report, so should be reported separately (although reporting that n acats tests fail under the same PR is not very helpful since each case may be different). Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|REOPENED|RESOLVED Resolution||FIXED Target Milestone|--- |4.3.1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18302
[Bug ada/22601] GNAT Command lists many commands as available that are not
--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 22:26 --- You do not need to build/install asis to use some of these commands, but that does not make gnatcmd.adb wrong here. In other words, you are assuming that gnatcmd.adb should only refer to tools that come with GCC, which is incorrect. Similarly to e.g. collect2 which calls ld and sometimes objdump, even though ld or objdump are not part of gcc. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22601
[Bug ada/34717] Ada runtime improvements for OpenBSD to enable tasking and related features
--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 22:31 --- I'd suggest updating your patch to latest sources, and submit it to gcc-patches, that's the standard procedure. Also, it would be useful to have some kind of commitment from either someone or from soem identified group of people that these files will be tested and maintained in the future, otherwise there's no much point in doing a code drop, and then have the files break silently without people noticing. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34717
[Bug ada/35886] Bad location of error message
--- Comment #1 from charlet at gcc dot gnu dot org 2008-05-12 22:34 --- Well, I must be blind, but I do not see a bad location here: GNAT complains at line 3 that the full declaration defined at line 4 must be tagged, showing indeed the line where type T is declared as tagged. Looks correct to me. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35886
[Bug ada/35789] Ada2WSDL
--- Comment #2 from charlet at gcc dot gnu dot org 2008-05-12 22:35 --- No information, not even a GCC version, so closing. Please reopen once you have more info to feed. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|WAITING |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35789
[Bug ada/35464] warning: condition is always False not issued inside generics
--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 22:38 --- Right, this is really as intended, to avoid too many false positives. The warning circuitry is not prepared to handle more complex cases, which would require really a different kind of tool, so is out of the scope of the front-end. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35464
[Bug ada/35066] GNAT BUG DETECTED in get_indirect_ref_operands, at tree-ssa-operands.c:1476A
--- Comment #2 from charlet at gcc dot gnu dot org 2008-05-12 22:40 --- No feedback. Note that I suspect GCC 4.3/4.4 build current polyorb fine, so closing this PR. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|major |normal Status|WAITING |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35066
[Bug ada/35284] Branch to 0x0 from Ada run-time
--- Comment #39 from charlet at gcc dot gnu dot org 2008-05-12 22:43 --- Fixed on trunk. Patch pre-approved on active branches if deemed necessary. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35284
[Bug ada/33820] Compilation error for macrosub
--- Comment #4 from charlet at gcc dot gnu dot org 2008-05-12 22:47 --- There are really not enough info to guess what is going wrong for sure. It is indeed likely the same as PR29127, so closing on that grounds. Please give me info if you think this is a different issue, thanks. Arno *** This bug has been marked as a duplicate of 29127 *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33820
[Bug ada/29127] gnatchop-gcc: installation problem, executable not found
--- Comment #6 from charlet at gcc dot gnu dot org 2008-05-12 22:47 --- *** Bug 33820 has been marked as a duplicate of this bug. *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added CC||Markus dot Elfring at web ||dot de http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29127
[Bug testsuite/32547] gnat.dg tasking tests fail on IRIX 5.3
--- Comment #2 from charlet at gcc dot gnu dot org 2008-05-12 22:49 --- it's a testsuite/infrastructure issue rather than an Ada issue per se. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Component|ada |testsuite http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32547
[Bug ada/35886] Bad location of error message
--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 22:54 --- OK, classifying as an enhancement request, since there's no bug here, the error message is correct. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|minor |enhancement http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35886
[Bug ada/15479] Ada manual problems
--- Comment #11 from charlet at gcc dot gnu dot org 2008-05-12 23:11 --- This PR seems to be addressed at this point. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15479
[Bug ada/31808] cross-built gnattools installs vxaddr2line regardless of target triplet
--- Comment #1 from charlet at gcc dot gnu dot org 2008-05-12 23:23 --- It will install it only if it was built (there's an explicit test), and it won't build it for e.g. non vxworks, so things are fine here. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31808
[Bug ada/34358] Dynamic library created in Object_Dir instead of Library_Dir in *-darwin*
--- Comment #2 from charlet at gcc dot gnu dot org 2008-05-12 23:26 --- This is fixed on mainline, where a similar patch has been applied. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34358
[Bug ada/19959] [4.1/4.2/4.3/4.4 Regression] Can't compile gnattools for the cross targets
--- Comment #16 from charlet at gcc dot gnu dot org 2008-05-12 23:35 --- After reviewing this ticket, I am coming to the conclusion that things are working as expected now: due to major changes in the gcc directory structure and makefiles, when you do a make, GCC will always build gnatlib and gnattools, so things are working as expected, except that gnatlib is not working on AVR (which is a different issue). The fix I made to gnattools-cross is still good: gnattools-cross does not depend on gnatlib, unlike the native case. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19959
[Bug ada/29127] gnatchop-gcc: installation problem, executable not found
--- Comment #7 from charlet at gcc dot gnu dot org 2008-05-12 23:42 --- Turns out that this PR is the same as PR864 *** This bug has been marked as a duplicate of 864 *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||DUPLICATE http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29127
[Bug ada/864] --program-suffix is ignored (for ada)
--- Comment #7 from charlet at gcc dot gnu dot org 2008-05-12 23:42 --- *** Bug 29127 has been marked as a duplicate of this bug. *** -- charlet at gcc dot gnu dot org changed: What|Removed |Added CC||schwab at suse dot de http://gcc.gnu.org/bugzilla/show_bug.cgi?id=864
[Bug ada/31808] cross-built gnattools installs vxaddr2line regardless of target triplet
--- Comment #3 from charlet at gcc dot gnu dot org 2008-05-12 23:58 --- Subject: Bug 31808 Author: charlet Date: Mon May 12 23:58:11 2008 New Revision: 135239 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=135239 Log: PR ada/31808 * Makefile.in (gnattools-cross): Do not build vxaddr2line Modified: trunk/gnattools/ChangeLog trunk/gnattools/Makefile.in -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31808
[Bug ada/36171] Missing documentation for Relative_Deadline pragma
--- Comment #1 from charlet at gcc dot gnu dot org 2008-05-07 15:07 --- Sorry, but this is a standard Ada 2005 pragma, documented in the Ada RM. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||INVALID http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36171
[Bug ada/35917] [4.4 Regression] s-linux.ads:106:41: int is not visible
--- Comment #1 from charlet at gcc dot gnu dot org 2008-04-12 19:09 --- Subject: Bug 35917 Author: charlet Date: Sat Apr 12 19:08:18 2008 New Revision: 134226 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=134226 Log: PR ada/35917 * s-linux-hppa.ads: Fix syntax errors. Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/s-linux-hppa.ads -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35917
[Bug ada/35917] [4.4 Regression] s-linux.ads:106:41: int is not visible
--- Comment #2 from charlet at gcc dot gnu dot org 2008-04-12 19:10 --- Should now be fixed, let me know if not. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35917
[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory
--- Comment #7 from charlet at gcc dot gnu dot org 2008-04-10 06:21 --- reopening -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|WAITING |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2008-04-10 06:21:40 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880
[Bug ada/35902] xml ada installation bug in slackware
--- Comment #1 from charlet at gcc dot gnu dot org 2008-04-10 14:41 --- You should probably report this to slackware then. Note that you are not using gnat gpl in your report, but a very old GCC version (3.3.6), so I'd suggest trying with a newer version, where things will very likely work. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WORKSFORME http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35902
[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory
--- Comment #3 from charlet at gcc dot gnu dot org 2008-04-09 06:45 --- missing debug info is never really major, since there are always work arounds (like print statements). Note that there is close to zero chance that someone will look into your .bz2 file, let alone your README. Instructions (and test case simplification) should be part of the submission of a PR if you want someone to look at it. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Severity|major |normal Status|UNCONFIRMED |WAITING http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880
[Bug target/10768] ICEs on compilation of ada support library for avr
--- Comment #23 from charlet at gcc dot gnu dot org 2008-04-08 06:46 --- Subject: Bug 10768 Author: charlet Date: Tue Apr 8 06:46:04 2008 New Revision: 134013 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=134013 Log: 2008-04-08 Tristan Gingold [EMAIL PROTECTED] PR ada/10768 * cuintp.c: Fix 16 bits issue for AVR. On AVR, integer is 16 bits, so it can't be used to do math with Base (=32768). So use long_integer instead. Modified: trunk/gcc/ada/cuintp.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10768
[Bug target/10768] ICEs on compilation of ada support library for avr
--- Comment #24 from charlet at gcc dot gnu dot org 2008-04-08 07:25 --- Fixed on mainline. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10768
[Bug ada/35829] Please add support for mips and mipsel in gnat
--- Comment #4 from charlet at gcc dot gnu dot org 2008-04-05 08:15 --- closing -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35829
[Bug ada/33688] Ada package Gnat.Sockets missing constant for IP_PKTINFO (patch)
--- Comment #6 from charlet at gcc dot gnu dot org 2008-03-26 07:35 --- Subject: Bug 33688 Author: charlet Date: Wed Mar 26 07:34:57 2008 New Revision: 133545 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=133545 Log: 2008-03-26 Thomas Quinot [EMAIL PROTECTED] PR ada/33688 * g-socket.ads, g-socket.adb (Options, Set_Socket_Option, Get_Socket_Option): Add support for Receive_Packet_Info. * g-soccon.ads, g-soccon-tru64.ads, g-soccon-aix.ads, g-soccon-irix.ads, g-soccon-hpux.ads, g-soccon-solaris.ads, g-soccon-vms.ads, g-soccon-mingw.ads, g-soccon-freebsd.ads, g-soccon-hpux-ia64.ads, g-soccon-solaris-64.ads, g-soccon-darwin.ads, g-soccon-lynxos.ads, g-soccon-linux-64.ads, g-soccon-linux-x86.ads: Add new constants SO_REUSEPORT and IP_PKTINFO Modified: trunk/gcc/ada/g-soccon-aix.ads trunk/gcc/ada/g-soccon-darwin.ads trunk/gcc/ada/g-soccon-freebsd.ads trunk/gcc/ada/g-soccon-hpux-ia64.ads trunk/gcc/ada/g-soccon-hpux.ads trunk/gcc/ada/g-soccon-irix.ads trunk/gcc/ada/g-soccon-linux-64.ads trunk/gcc/ada/g-soccon-linux-x86.ads trunk/gcc/ada/g-soccon-lynxos.ads trunk/gcc/ada/g-soccon-mingw.ads trunk/gcc/ada/g-soccon-solaris-64.ads trunk/gcc/ada/g-soccon-solaris.ads trunk/gcc/ada/g-soccon-tru64.ads trunk/gcc/ada/g-soccon-vms.ads trunk/gcc/ada/g-soccon.ads trunk/gcc/ada/g-socket.adb trunk/gcc/ada/g-socket.ads -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33688
[Bug ada/33688] Ada package Gnat.Sockets missing constant for IP_PKTINFO (patch)
--- Comment #7 from charlet at gcc dot gnu dot org 2008-03-26 07:58 --- This PR should now be addressed, please reopen if not, clarifying what's missing. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.4.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33688
[Bug ada/35284] Branch to 0x0 from Ada run-time
--- Comment #8 from charlet at gcc dot gnu dot org 2008-02-22 08:02 --- Sounds like something specific to RTEMS, since I've never seen something like that on any other platform. -- charlet at gcc dot gnu dot org changed: What|Removed |Added CC|charlet at adacore dot com | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35284
[Bug ada/23583] invalid implemenation of Ada Monotonic_Clock
--- Comment #2 from charlet at gcc dot gnu dot org 2007-12-20 11:26 --- Actually, we do not claim annex d conformance in GCC, so closing this PR, since on linux (which is what this report is referring to), it does not make sense to go to the hardware level. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23583
[Bug ada/15803] Illegal program not detected, RM 8.3(19)
--- Comment #6 from charlet at gcc dot gnu dot org 2007-12-19 16:24 --- Subject: Bug 15803 Author: charlet Date: Wed Dec 19 16:24:34 2007 New Revision: 131079 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=131079 Log: 2007-12-19 Ed Schonberg [EMAIL PROTECTED] Gary Dismukes [EMAIL PROTECTED] PR ada/15803, ada/15805 * sem_ch6.adb, sem_ch3.adb (Constrain_Access): In Ada2005, diagnose illegal access subtypes when there is a constrained partial view. (Check_For_Premature_Usage): New procedure inside Access_Subprogram_Declaration for checking that an access-to-subprogram type doesn't reference its own name within any formal parameters or result type (including within nested anonymous access types). (Access_Subprogram_Declaration): Add call to Check_For_Premature_Usage. (Sem_Ch3.Analyze_Object_Declaration, Sem_ch6.Process_Formals): if the context is an access_to_variable, the expression cannot be an access_to_constant. Modified: trunk/gcc/ada/sem_ch3.adb trunk/gcc/ada/sem_ch6.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15803
[Bug ada/34149] GNAT crash - deeply inrerited function
--- Comment #3 from charlet at gcc dot gnu dot org 2007-12-19 16:25 --- Subject: Bug 34149 Author: charlet Date: Wed Dec 19 16:25:18 2007 New Revision: 131082 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=131082 Log: 2007-12-19 Gary Dismukes [EMAIL PROTECTED] PR ada/34149 * sem_disp.adb (Check_Dispatching_Call): Augment existing test for presence of a statically tagged operand (Present (Static_Tag)) with test for Indeterm_Ancestor_Call when determining whether to propagate the static tag to tag-indeterminate operands (which forces dispatching on such calls). (Check_Controlling_Formals): Ada2005, access parameters can have defaults. (Add_Dispatching_Operation, Check_Operation_From_Private_View): do not insert subprogram in list of primitive operations if already there. Modified: trunk/gcc/ada/sem_disp.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34149
[Bug ada/33688] Ada package Gnat.Sockets missing constant for IP_PKTINFO (patch)
--- Comment #5 from charlet at gcc dot gnu dot org 2007-12-19 16:26 --- Subject: Bug 33688 Author: charlet Date: Wed Dec 19 16:25:58 2007 New Revision: 131084 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=131084 Log: 2007-12-19 Thomas Quinot [EMAIL PROTECTED] Part of PR ada/33688 * gen-soccon.c: Add constant IP_PKTINFO to allow getting ancillary datagram info on Linux. Modified: trunk/gcc/ada/gen-soccon.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33688
[Bug ada/15805] Illegal program not detected, allows writing through access to constant
--- Comment #4 from charlet at gcc dot gnu dot org 2007-12-13 17:59 --- Subject: Bug 15805 Author: charlet Date: Thu Dec 13 17:59:09 2007 New Revision: 130903 URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=130903 Log: Restore part of patch lost for PR ada/15805: * sem_ch3.adb (Analyze_Object_Declaration): Signal an error when an access to constant is used to initialize an access value. Modified: trunk/gcc/ada/sem_ch3.adb -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15805
[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type
--- Comment #10 from charlet at gcc dot gnu dot org 2007-12-08 17:52 --- removing myself from cc: since I'm subscribed to gcc-bugs -- charlet at gcc dot gnu dot org changed: What|Removed |Added CC|charlet at adacore dot com | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559
[Bug ada/34381] Bug box, Program_Error sem_type.adb:636 explicit raise on illegal Ada 2005 program
--- Comment #5 from charlet at gcc dot gnu dot org 2007-12-07 17:48 --- closing -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34381
[Bug ada/22559] Bug box, Program_Error at sinput.adb:404, derived fixed-point type
--- Comment #7 from charlet at gcc dot gnu dot org 2007-12-07 21:42 --- Sam, Could you point me to the message on gcc-patches submitting this patch and to the approval message ? For some reason I cannot find it. Arno -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22559
[Bug ada/23487] Assignment from incompatible pointer warning in __gnat_install_handler kills bootstrap
--- Comment #8 from charlet at gcc dot gnu dot org 2007-11-21 13:49 --- closing then. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|NEW |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23487
[Bug ada/34117] Please enable overflow checks by default (-gnato)
--- Comment #5 from charlet at gcc dot gnu dot org 2007-11-21 06:55 --- This report is confused: range checking is enabled by default. -gnato is about overflow checking, not range checking. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Summary|Please enable range checks |Please enable overflow |by default (-gnato) |checks by default (-gnato) http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34117
[Bug ada/33924] [ada] GNAT compilation bug (save_gnu_tree, ada/utils.c:178) when compiling with asis options
--- Comment #4 from charlet at gcc dot gnu dot org 2007-10-28 15:34 --- Marking this bug as fixed in 4.3 When you send a bug report, please try to reduce it to a simple gcc command (and if possible with few sources showing the problem). Having to deal with a large tarball and gnatmake commands instead will usually slow down the process of trying to reproduce and identify it, or sometimes people will simply ignore such reports. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33924
[Bug ada/33769] Object prefixed notation in Ada 2005.
--- Comment #1 from charlet at gcc dot gnu dot org 2007-10-14 10:53 --- GNAT GPL 2007 is not an FSF release. Your code compiles fine with GCC 4.3.0 -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||WORKSFORME http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33769
[Bug ada/33071] Assert_Failure sinfo.adb:351 on legal Ada 2005 code
--- Comment #5 from charlet at gcc dot gnu dot org 2007-10-14 12:16 --- Fixed in 4.2.1, so closing. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Summary|Ada 2005 ICE on limited |Assert_Failure sinfo.adb:351 |with'ing|on legal Ada 2005 code Target Milestone|--- |4.2.1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33071
[Bug ada/33110] Libgnat: No Constraint_Error on out-of-bounds array access in GNAT.Spitbol.Patterns
--- Comment #2 from charlet at gcc dot gnu dot org 2007-10-14 12:24 --- This is fixed in mainline. Arno -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33110
[Bug ada/31859] Crash on tasks with access-to-subprogram discriminants
--- Comment #2 from charlet at gcc dot gnu dot org 2007-10-14 12:31 --- Test case now compiles fine. -- charlet at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution||FIXED Target Milestone|--- |4.3.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31859
