Searched refs:Mark_Ghost_Clause (Results 51 – 75 of 80) sorted by relevance
1234
4015 Mark_Ghost_Clause (N);
10586 * ghost.adb (Mark_Ghost_Clause): New routine.10590 * ghost.ads (Mark_Ghost_Clause): New routine.
2297 (Mark_Ghost_Clause): Record rather than propagate ignored Ghost nodes.