Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 726752 - dev-lang/gnat-gpl-2018-r3 fails to compile:
Summary: dev-lang/gnat-gpl-2018-r3 fails to compile:
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Linux ADA team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-06-02 09:38 UTC by Agostino Sarubbo
Modified: 2020-06-22 08:01 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
build.log.bz2 (build.log.bz2,305.12 KB, application/x-bzip2)
2020-06-02 09:39 UTC, Agostino Sarubbo
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Agostino Sarubbo gentoo-dev 2020-06-02 09:38:53 UTC
This is an auto-filed bug because dev-lang/gnat-gpl fails to compile.
The issue was originally discovered on amd64, but it may be reproducible on other arches as well.
If you think that a different summary clarifies the issue better, feel free to change it.
Attached build log and emerge --info.

NOTE:
If you need further logs, feel free to ask.
Comment 1 Agostino Sarubbo gentoo-dev 2020-06-02 09:39:04 UTC
Created attachment 643130 [details]
build.log.bz2

build log and emerge --info
Comment 2 Sergei Trofimovich (RETIRED) gentoo-dev 2020-06-21 15:49:17 UTC
The build error is:

"""
 * USE:        abi_x86_64 ada amd64 bootstrap cxx elibc_glibc fortran kernel_linux multilib nls nptl openmp pch pie sanitize ssp userland_GNU vtv
...
     typedef char IMPL_PASTE(assertion_failed_##_, line)[2*(int)(pred)-1]
                                                                        ^
/var/tmp/portage/dev-lang/gnat-gpl-2018-r3/work/gcc-7-gpl-2018-src/libsanitizer/sanitizer_common/sanitizer_internal_defs.h:255:30: note: in expansion of macro ‘IMPL_COMPILER_ASSERT
’
 #define COMPILER_CHECK(pred) IMPL_COMPILER_ASSERT(pred, __LINE__)
                              ^~~~~~~~~~~~~~~~~~~~
/var/tmp/portage/dev-lang/gnat-gpl-2018-r3/work/gcc-7-gpl-2018-src/libsanitizer/sanitizer_common/sanitizer_platform_limits_posix.h:1461:3: note: in expansion of macro ‘COMPILER_CHE
CK’
   COMPILER_CHECK(sizeof(((__sanitizer_##CLASS *) NULL)->MEMBER) == \
   ^~~~~~~~~~~~~~
/var/tmp/portage/dev-lang/gnat-gpl-2018-r3/work/gcc-7-gpl-2018-src/libsanitizer/sanitizer_common/sanitizer_platform_limits_posix.cc:1150:1: note: in expansion of macro ‘CHECK_SIZE_
AND_OFFSET’
 CHECK_SIZE_AND_OFFSET(ipc_perm, mode);
 ^~~~~~~~~~~~~~~~~~~~~
make[4]: *** [Makefile:523: sanitizer_platform_limits_posix.lo] Error 1
"""
Comment 3 Larry the Git Cow gentoo-dev 2020-06-21 16:58:50 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=13294ad1c51cc6f1921577c717aaba643226db08

commit 13294ad1c51cc6f1921577c717aaba643226db08
Author:     Sergei Trofimovich <slyfox@gentoo.org>
AuthorDate: 2020-06-21 16:58:29 +0000
Commit:     Sergei Trofimovich <slyfox@gentoo.org>
CommitDate: 2020-06-21 16:58:45 +0000

    dev-lang/gnat-gpl: backport libsanitizer fix to 2018
    
    Reported-by: Agostino Sarubbo
    Bug: https://bugs.gentoo.org/726752
    Package-Manager: Portage-2.3.101, Repoman-2.3.22
    Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

 .../files/gnat-gpl-2018-libsanitizer-p1.patch      | 32 ++++++++++++
 .../files/gnat-gpl-2018-libsanitizer-p2.patch      | 59 ++++++++++++++++++++++
 dev-lang/gnat-gpl/gnat-gpl-2018-r3.ebuild          |  2 +
 3 files changed, 93 insertions(+)
Comment 4 Sergei Trofimovich (RETIRED) gentoo-dev 2020-06-21 21:46:52 UTC
I tweaked dev-lang/gnat-gpl-2018-r3 to make it compile. Older gnat-gpl versions are more tedious to handle as sanitizer will require more patches to backport. I suggest to just disable sanitizer there.