Bug 678771

Summary: gnat Assert_Failure
Product: [Fedora] Fedora Reporter: Pavel Zhukov <pavel>
Component: gccAssignee: Jakub Jelinek <jakub>
Status: CLOSED NOTABUG QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: low Docs Contact:
Priority: low    
Version: 14CC: jakub, patrick
Target Milestone: ---Keywords: Triaged
Target Release: ---   
Hardware: All   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2011-05-31 18:32:07 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Attachments:
Description Flags
Error output
none
spec file (for example only)
none
source file none

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