public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/44058]  New: The No_Tasking restriction does not imply No_Task_Hierarchy, but should
@ 2010-05-10 13:26 baldrick at gcc dot gnu dot org
  0 siblings, 0 replies; only message in thread
From: baldrick at gcc dot gnu dot org @ 2010-05-10 13:26 UTC (permalink / raw)
  To: gcc-bugs

Build_Class_Wide_Master in exp_ch3.adb starts with this check:

      --  Nothing to do if there is no task hierarchy
      if Restriction_Active (No_Task_Hierarchy) then
         return;
      end if;

This early return should obviously also occur if tasking is not allowed, for
example if the restriction No_Tasking is in force, but it doesn't.  This
can cause the tasking runtime to be pulled in for programs using tagged types
in funky ways even in the presence of
  pragma Restrictions (No_Tasking);


-- 
           Summary: The No_Tasking restriction does not imply
                    No_Task_Hierarchy, but should
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: baldrick at gcc dot gnu dot org
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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


^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2010-05-10 13:26 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-05-10 13:26 [Bug ada/44058] New: The No_Tasking restriction does not imply No_Task_Hierarchy, but should baldrick at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).