diff options
| author | Viljar Indus <indus@adacore.com> | 2025-11-03 13:10:32 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-11-18 16:05:09 +0100 |
| commit | 738895e36c11e505266295dd313386b0eedf54c7 (patch) | |
| tree | 3a45ad8c75d8f787f98f29ff3e3598622c17553e /libjava/classpath/java/io/FileNotFoundException.java | |
| parent | 6651ce055d40d0aab06a51f9cd5028478bb8d9b4 (diff) | |
ada: Update implementation for ghost entities inside ignored regions
gcc/ada/ChangeLog:
* ghost.adb (Check_Valid_Ghost_Policy): Remove function.
(Ghost_Policy_In_Effect): Force the ghost policy to be always be
ignore inside ignored regions.
(Mark_And_Set_Ghost_Declaration): Likewise.
Diffstat (limited to 'libjava/classpath/java/io/FileNotFoundException.java')
0 files changed, 0 insertions, 0 deletions