# Gnatprove bug: where to report

**URL:** https://forum.ada-lang.io/t/gnatprove-bug-where-to-report/1640
**Category:** General
**Created:** [December 26, 2024, 4:26am UTC](https://forum.ada-lang.io/t/gnatprove-bug-where-to-report/1640 "2024-12-26T04:26:31Z")
**Posts on this page:** 2
**Page:** 1

<div class="post-metadata">

### Author: ![evanescente-ondine](https://forum.ada-lang.io/user_avatar/forum.ada-lang.io/evanescente-ondine/32/451_2.png) [@evanescente-ondine](https://forum.ada-lang.io/u/evanescente-ondine)
#### Post date: [December 26, 2024, 4:26am UTC](https://forum.ada-lang.io/t/gnatprove-bug-where-to-report/1640/1 "2024-12-26T04:26:31Z")

</div>

Any idea where to post/file [this bug report](https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118052) ? Bugzilla claims the bugurl is outdated and it’s none of their business.  
I should give it to whoever writes gnatprove but I don’t know who did, or where to post this.

---

<div class="post-metadata">

### Author: ![Irvise](https://forum.ada-lang.io/letter_avatar_proxy/v4/letter/i/7ba0ec/32.png) [@Irvise](https://forum.ada-lang.io/u/Irvise)
#### Post date: [December 26, 2024, 9:11am UTC](https://forum.ada-lang.io/t/gnatprove-bug-where-to-report/1640/2 "2024-12-26T09:11:17Z")

</div>

Hi, I believed the error should be probably reported in the [SPARK repo](https://github.com/AdaCore/spark2014) as an issue.

Best regards,  
Fer