GCC Newspaper
JUNE 15, 2026
Date
/
Architectures
Components
Topics
News & Policy
Other
ada

Fix Assertion_Level dependency for Runtime level

This commit corrects the dependency condition for the Runtime assertion level in the Ada compiler.

Summary unavailable — see source link.

In Details

The Depends_On_Level function in sem_util.adb incorrectly evaluated the dependency condition for the Runtime assertion level. This commit corrects this condition, ensuring that runtime assertions are properly handled. Search context: Ada compiler Assertion_Level Runtime Depends_On_Level

For Context

Assertions are checks that are inserted into the code to verify that certain conditions are true during program execution. In Ada, assertion levels determine when these checks are performed (e.g., at compile time or runtime). This commit fixes a bug in the Ada compiler that caused the dependency for runtime assertions to be evaluated incorrectly, potentially leading to incorrect behavior. Search context: Ada compiler Assertion_Level Runtime Depends_On_Level

Filed Under: adabugfixassertions