1. Forum
  2. Newsgroups
  3. comp.lang.ada

  • Re: GNAT Error?

    From Jeffrey R.Carter@spam.jrcarter.not@spam.acm.org.not to comp.lang.ada on Sun Feb 18 12:48:53 2024
    From Newsgroup: comp.lang.ada

    On 2024-02-18 10:59, Simon Wright wrote:

    Oh, you didn't say that -gnata is needed to provoke the error, though
    it's not really a surprise.

    Now, only GCC 11.2.0 doesn't have the error; so it's a regression in GCC
    12.

    Sorry, I should have given my compilation options. You're right that I used -gnata. But I did say it was related to the Dynamic_Predicate.

    As you have GNAT 14 and I don't, perhaps it would be best for you to report this.
    --
    Jeff Carter
    "We'll make Rock Ridge think it's a chicken
    that got caught in a tractor's nuts!"
    Blazing Saddles
    87

    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Simon Wright@simon@pushface.org to comp.lang.ada on Sun Feb 18 14:33:51 2024
    From Newsgroup: comp.lang.ada

    "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:

    On 2024-02-18 10:59, Simon Wright wrote:
    Oh, you didn't say that -gnata is needed to provoke the error,
    though
    it's not really a surprise.
    Now, only GCC 11.2.0 doesn't have the error; so it's a regression in
    GCC
    12.

    Sorry, I should have given my compilation options. You're right that I
    used -gnata. But I did say it was related to the Dynamic_Predicate.

    As you have GNAT 14 and I don't, perhaps it would be best for you to
    report this.

    See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113979
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Simon Wright@simon@pushface.org to comp.lang.ada on Thu Mar 7 14:54:50 2024
    From Newsgroup: comp.lang.ada

    Simon Wright <simon@pushface.org> writes:

    "Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not> writes:

    On 2024-02-18 10:59, Simon Wright wrote:
    Oh, you didn't say that -gnata is needed to provoke the error,
    though
    it's not really a surprise.
    Now, only GCC 11.2.0 doesn't have the error; so it's a regression in
    GCC
    12.

    Sorry, I should have given my compilation options. You're right that I
    used -gnata. But I did say it was related to the Dynamic_Predicate.

    As you have GNAT 14 and I don't, perhaps it would be best for you to
    report this.

    See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113979

    And now fixed on all "active" branches! (that's 11, 12, 13 & master,
    judging by the comments)

    Of course, it takes a while for this to percolate through to a release.
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Jeffrey R.Carter@spam.jrcarter.not@spam.acm.org.not to comp.lang.ada on Thu Mar 7 16:06:18 2024
    From Newsgroup: comp.lang.ada

    On 2024-03-07 15:54, Simon Wright wrote:
    Simon Wright <simon@pushface.org> writes:

    See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113979

    And now fixed on all "active" branches! (that's 11, 12, 13 & master,
    judging by the comments)

    Of course, it takes a while for this to percolate through to a release.

    Cool. Thanks for reporting this.
    --
    Jeff Carter
    "C's solution to this [variable-sized array parameters] has real
    problems, and people who are complaining about safety definitely
    have a point."
    Dennis Ritchie
    25

    --- Synchronet 3.20a-Linux NewsLink 1.114