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