Ubuntu used a patch for this, but it's just a work-around for now and multiple upstream's developers told me that is not the right approach to use. -- debbug#555134 ...
One bug found | Edit Search | Change Columns |
as
ID Status▲ Resolution▲ Sev Product Comp Assignee▲ Reporter Summary▲
28275 NEW --- nor Sisyphus gcc7-gna glebfm viy SYSTEM.ASSERTIONS.ASSERT_FAILURE during build.

File a new bug in the "gcc7-gnat" component of the "Sisyphus" product