search

AdaCore / spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249 stars 33 forks source link

CONSTRAINT_ERROR raised when running gnat2why and spark_memcached_wrapper built from source (FSF) #29

Closed 1ma closed 3 years ago

1ma commented 3 years ago 
$ ./install/bin/gnat2why 
+===========================GNAT BUG DETECTED==============================+
| 12.0.0 (spark) Constraint_Error back_end.adb:164 access check failed     |

raised CONSTRAINT_ERROR : atree.adb:670 invalid data
$ ./install/bin/spark_memcached_wrapper 

raised CONSTRAINT_ERROR : a-comlin.adb:61 explicit raise

Platform: Ubuntu 20.04 Spark2014 commit: https://github.com/AdaCore/spark2014/commit/5da8c83bcdc679c21826b3acfd1616e750a4ca26 (tip of fsf branch) GCC commit: https://github.com/gcc-mirror/gcc/commit/6bebd55e12375b397ed187630bb57d58611dfc5f (the last of a batch of Ada-related commits merged a minute earlier than https://github.com/AdaCore/spark2014/commit/5da8c83bcdc679c21826b3acfd1616e750a4ca26) xmlada commit: https://github.com/AdaCore/xmlada/commit/337bce36029770c043c30f120b9cee1eaf1baa96 (tip of master) libgpr commit: https://github.com/AdaCore/gprbuild/commit/dcc8dbab10f425673167a1295852a6baa7c5b6f1 (tip of master) gnatcoll commit: https://github.com/AdaCore/gnatcoll-core/commit/5b8e83e20b2004d6c543fd40407e2f50aa4b21e6 (tip of master) Ocaml: 4.07.1

This build was done in a dockerized environment to be easy to reproduce. The Dockerfile for Spark2014 can be seen here (also the gcc and the ocaml toolchains used)

kanigsson commented 3 years ago

Sorry for the late reply. These issues are expected. These executables are not intended to be called directly, they are called with the correct command-line arguments from other executables. The exceptions you are seeing here are a consequence of being called without any arguments.