]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d6af54) | patch
ada: Improve defense against illegal code in check for infinite loops
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 16 Jun 2023 06:34:27 +0000 (08:34 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 28 Jul 2023 07:28:12 +0000 (09:28 +0200)
commitcb3bed6018acae828f7a4828678c017c95f695f4
tree6ae29cf6d7b7e6cfd29575d002eb0bba63967808tree | snapshot
parent1d6af545bf7fa34c9bdd17b41e81abd019d073a8commit | diff
ada: Improve defense against illegal code in check for infinite loops

Fix crash occurring when attribute System'To_Address is used without
a WITH clause for package System.

gcc/ada/

* sem_warn.adb (Check_Infinite_Loop_Warning): Don't look at the type of
actual parameter when it has no type at all, e.g. because the entire
subprogram call is illegal.
gcc/ada/sem_warn.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git