Searched refs:dropDeadFromGDM (Results 1 – 1 of 1) sorted by relevance
137 State = dropDeadFromGDM<NullImplicationMap>(SymReaper, State); in checkDeadSymbols()138 State = dropDeadFromGDM<NonNullImplicationMap>(SymReaper, State); in checkDeadSymbols()148 ProgramStateRef dropDeadFromGDM(SymbolReaper &SymReaper, in dropDeadFromGDM() function in __anon47c84c9a0111::TrustNonnullChecker