Bug 678771 - gnat Assert_Failure
Summary: gnat Assert_Failure
Keywords:
Status: CLOSED NOTABUG
Alias: None
Product: Fedora
Classification: Fedora
Component: gcc
Version: 14
Hardware: All
OS: Unspecified
low
low
Target Milestone: ---
Assignee: Jakub Jelinek
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks:
TreeView+ depends on / blocked
 
Reported: 2011-02-19 14:27 UTC by Pavel Zhukov
Modified: 2012-05-09 18:08 UTC (History)
2 users (show)

Fixed In Version:
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2011-05-31 18:32:07 UTC
Type: ---


Attachments (Terms of Use)
Error output (4.77 KB, application/octet-stream)
2011-02-19 14:27 UTC, Pavel Zhukov
no flags Details
spec file (for example only) (743 bytes, text/plain)
2011-02-19 14:28 UTC, Pavel Zhukov
no flags Details
source file (2.46 KB, application/octet-stream)
2011-02-19 14:31 UTC, Pavel Zhukov
no flags Details

Description Pavel Zhukov 2011-02-19 14:27:51 UTC
Created attachment 479692 [details]
Error output

Description of problem:
Error building qtada in Fedora (error in attachment)

Version-Release number of selected component (if applicable):
gcc-4.5.1-4.fc14.x86_64


How reproducible:
build qtada with simple spec file (in attachment)

Steps to Reproduce:
1. Download qtada source
2. Create simple spec file to build it
3. rpmbuild -ba qtada.spec
  
Actual results:
| 4.5.1 20100924 (Red Hat 4.5.1-4) (x86_64-redhat-linux-gnu) Assert_Failure sem_ch3.adb:12816|                                                              
| Error detected at qt_ada-object_unchecked_deallocation.ads:34:9 [jobs.adb:37:7]| 

Expected results:
successful build

Additional info:

Comment 1 Pavel Zhukov 2011-02-19 14:28:39 UTC
Created attachment 479693 [details]
spec file (for example only)

Comment 2 Pavel Zhukov 2011-02-19 14:31:04 UTC
Created attachment 479694 [details]
source file

Comment 3 Pavel Zhukov 2011-02-19 14:39:01 UTC

-- 
Fedora Bugzappers volunteer triage team
https://fedoraproject.org/wiki/BugZappers

Comment 4 Patrick Noffke 2012-05-09 18:08:38 UTC
Same problem for me on Fedora 16.  Can this bug be reopened, or an explanation of why the status is "NOTABUG?"  Should we file the bug with gnu instead?  Thanks.

$ uname -a
Linux dingofarm.qg.com 3.3.4-3.fc16.x86_64 #1 SMP Thu May 3 14:46:44 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux

$ rpm -q gcc
gcc-4.6.3-2.fc16.x86_64


Here is the tail of the output of make:

make[3]: Entering directory `/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking'
gnatmake -j2 -p -aP../../../gnat -aP../../../gnat -Pexamples_qt_ada_tasking.gpr
gcc -c -g -O2 -gnat05 -gnatW8 -I- -gnatA /home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/jobs.adb
+===========================GNAT BUG DETECTED==============================+
| 4.6.3 20120306 (Red Hat 4.6.3-2) (x86_64-redhat-linux-gnu) Assert_Failure sem_ch3.adb:13325|
| Error detected at qt_ada-object_unchecked_deallocation.ads:34:9 [jobs.adb:37:7]|
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
Consider also -gnatd.n switch (see debug.adb).

/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/jobs.adb
/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/.objs/GNAT-TEMP-000001.TMP
/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/.objs/GNAT-TEMP-000002.TMP
/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/jobs.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4_generic_flags.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-internals.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-internals-generic_q_flags.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-objects.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-meta_objects.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-generic_arguments.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-generic_return_arguments.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-strings.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-internals-value_class_sizes.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-reg_exps.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-string_lists.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-variants.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-chars.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-date_times.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-dates.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-times.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-line_fs.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-lines.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-points.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-point_fs.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-meta_types.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-rect_fs.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-rects.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-sizes.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-size_fs.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-generic_object_pointers.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-internals-objects.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-events.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-internals-events.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt_ada-object_unchecked_deallocation.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/emitters.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-objects-directors.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-child_events.ads
/home/pnoffke/projects/qtada-gpl-3.1.0/source/core/qt4-timer_events.ads

compilation abandoned
gnatmake: "/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking/jobs.adb" compilation error
make[3]: *** [main] Error 4
make[3]: Leaving directory `/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada/tasking'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory `/home/pnoffke/projects/qtada-gpl-3.1.0/examples/qt_ada'
make[1]: *** [all-recursive] Error 1
make[1]: Leaving directory `/home/pnoffke/projects/qtada-gpl-3.1.0/examples'
make: *** [all-recursive] Error 1


Note You need to log in before you can comment on or make changes to this bug.