Home | History | Annotate | Download | only in Analysis

Lines Matching refs:Details

6 // License. See LICENSE.TXT for details.
56 const LibCallFunctionInfo::LocationMRInfo *Details = FI->LocationDetails;
57 if (Details == nullptr)
60 // If the details array is of the 'DoesNot' kind, we only know something if
61 // the pointer is a match for one of the locations in 'Details'. If we find a
66 for (unsigned i = 0; Details[i].LocationID != ~0U; ++i) {
68 LCI->getLocationInfo(Details[i].LocationID);
74 return ModRefResult(MRInfo & ~Details[i].MRInfo);
79 // If the details are of the 'DoesOnly' sort, we know something if the pointer
80 // is a match for one of the locations in 'Details'. Also, if we can prove
81 // that the pointers is *not* one of the locations in 'Details', we know that
87 for (unsigned i = 0; Details[i].LocationID != ~0U; ++i) {
89 LCI->getLocationInfo(Details[i].LocationID);
102 return ModRefResult(MRInfo & Details[i].MRInfo);