[Bug 675557] Review Request: matreshka - set of Ada libraries to help to develop information systems

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=675557

--- Comment #15 from BjÃrn Persson <bjorn@xxxxxxxxxxxxxxxxxxxx> 2011-05-14 18:01:24 EDT ---
In my tests it looks like "make check" does more than just checking. It seems
to also recompile the libraries, at least partly. I'm not sure if it does any
harm other than wasting some CPU time, but it should probably be investigated.

If recompilation can't be avoided, then I think GNAT_optflags should be used
even in the "make check" command.

(I am of course still testing 0.1.0-1.20110326svn (slightly modified as
described in comment 11), as that's the latest package I've seen.)

(In reply to comment #13)
> Don't worry about pragma Suppress in global configuration file, it will be
> enabled only when correctness of source code will be proved formally.

That sounds somewhat reassuring, but I'm not convinced that it's a good idea to
suppress *all* checks. There is always the possibility of errors in the proof.
It's particularly unwise to suppress the range checks on arrays, which is a
very important line of defense against remote code execution.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
package-review mailing list
package-review@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/package-review



[Index of Archives]     [Fedora Legacy]     [Fedora Desktop]     [Fedora SELinux]     [Yosemite News]     [KDE Users]     [Fedora Tools]