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