[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-10 Thread charlet at gcc dot gnu dot org


--- 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/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-09 Thread charlet at gcc dot gnu dot org


--- 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 ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-09 Thread knoxj at att dot net


--- Comment #4 from knoxj at att dot net  2008-04-09 15:19 ---
Print statements work if you know what you want to look at.

The application is an aircraft simulation by stimulating avionics black boxes.
We use a debugger to examine state information while the simulation is running
to try to determine problem causes.

I spent 3 days condensing hundreds of thousands of source lines to the test
case I submitted. I tried to provide a short test case to demonstrate the
problem. I ended up with 14 files consisting of 2226 actual source lines.

I thought I read in the submission guidelines that an attachment was 
acceptable in a case like this. If I should submit the file contents as a
large file, please point me to a sample so I know how to format the various
individual file contents.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880



[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-09 Thread charlet at adacore dot com


--- Comment #5 from charlet at adacore dot com  2008-04-09 15:25 ---
Subject: Re:  GNAT (GCC) Ada does not generate symbolic debug for shared memory

 The application is an aircraft simulation by stimulating avionics black boxes.
 We use a debugger to examine state information while the simulation is running
 to try to determine problem causes.

Note that the GCC project is based on volunteers, so your PR may never
get the high priority attention that you apparently require.

For such critical usage, you may consider getting support for your compiler
(or get familiar with the compiler to investigate this issue yourself).

 I thought I read in the submission guidelines that an attachment was 
 acceptable in a case like this. If I should submit the file contents as a
 large file, please point me to a sample so I know how to format the various
 individual file contents.

Having a tar file for sources is certainly fine. Having all the instructions
and explanation inside a README in a tarball is an unnecessary indirection
which can only delay review of your PR.

Arno


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880



[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-09 Thread knoxj at att dot net


--- Comment #6 from knoxj at att dot net  2008-04-09 16:19 ---
Thank you for your comments. This is my first free software bug report, so I'm
still learning the ropes. I have been submitting commercial vendor bug reports
for several decades, and old habits die hard.

README file contents :

The files listed below demonstrate the GNAT Ada compiler not generating 'gdb'
debug information correctly for shared memory. 

'gdb' says
No definition of pacs_cp in current context.

NightView says
Identifier pacs_cp is not visible in the given context.

Problem first found on 2.6.18.8-RedHawk-4.2.2-trace
   gdb Concurrent RedHawk Linux (6.3.0.0-1.63rh)
   gcc version 3.4.6 20060404 (Red Hat 3.4.6-3)

Problem verified on2.6.15.4-RedHawk-4.1-debug
   gdb Concurrent RedHawk Linux (6.3.0.0-1.63rh)
   gcc version 3.4.4 20050721 (Red Hat 3.4.4-2)

Problem verified on2.6.9-RedHawk-2.3.5-debug
   gdb 6.0
   gcc version 3.2.3 20030502 (Red Hat Linux 3.2.3-49)

Problem verified on2.6.9-42.0.3.EL (Red Hat EL WS 4 update 4)   
   gdb Red Hat Linux (6.3.0.0-1.132.EL4rh)
   gcc version 3.4.6 20060404 (Red Hat 3.4.6-3)

Problem verified on2.6.23.1-42.fc8
   gdb Fedora (6.8-1.fc9)
   gcc version 4.3.0 20080326 (Red Hat 4.3.0-5) (GCC)

===

makefile - build rules

ada_proclock.ads - Ada interface
proclock.h   - C interface
proclock.c   - C implementation

f15_shm.ld   - 'ld' commands for shared memory layout
f15_shm.h- C interface
f15_shm.c- C implementation
f15_shm_tables.c - shared memory data tables

nh_base_types.ads- hardware representation
test_pacs_cp_package.ads - Ada data description
testshm.adb  - Ada test program

pacs_cp.h  - C data description
testshmc.c - C test program

===

Follow the steps below to reproduce the problem :

1. make clean

2. make

3. gdb testshma
'tb main'
'r'
'n' 7 times to get to Ada_Main_Program
's'
'n' 4 times
'ptype pacs_cp' to get No definition of pacs_cp in current context.

4. gdb testshmc
'tb main'
'r'
'n' 4 times
'ptype pacs_cp' to get type = volatile struct PACS_CP {
   short int word[8192];
   }

5. edit test_pacs_cp_package.ads
comment pragma IMPORT line

6. make

7. gdb testshma
'tb main'
'r'
'n' 7 times to get to Ada_Main_Program
's'
'n' 4 times
'ptype pacs_cp' to get type = record
   word: array (1 .. 8192) of 
   nh_base_types.signed_half_word_type;
   end record


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880



[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-08 Thread knoxj at att dot net


--- Comment #1 from knoxj at att dot net  2008-04-09 02:59 ---
Created an attachment (id=15451)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15451action=view)
README, makefile, test source files

README has file list description and step-by-step instructions to cause bug.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880



[Bug ada/35880] GNAT (GCC) Ada does not generate symbolic debug for shared memory

2008-04-08 Thread knoxj at att dot net


--- Comment #2 from knoxj at att dot net  2008-04-09 03:01 ---
README in attachment has file list description and step-by-step instructions to
reproduce bug.


-- 

knoxj at att dot net changed:

   What|Removed |Added

 CC||knoxj at att dot net


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35880