-
Matthias Braun authoreddifferentiate between Bad and Deleted (because of exchange) nodes, this avoid some invalid memory accesses when trying to get irg from a Bad node [r28019]
8cb87306
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Git.scc.kit.edu ist zu Jahresende 2023 abgekündigt. Ab dem 04.12.2023 können Nutzende unter git.scc.kit.edu keine neuen Projekte und Gruppen mehr angelegen. Erstellen Sie diese unter gitlab.kit.edu.
Git.scc.kit.edu is discontinued at the end of 2023. As of 12/04/2023, users will no longer be able to create new projects and groups at git.scc.kit.edu. Create them at gitlab.kit.edu.
differentiate between Bad and Deleted (because of exchange) nodes, this avoid some invalid memory accesses when trying to get irg from a Bad node [r28019]