Searched refs:WriteValInstance (Results 1 – 1 of 1) sorted by relevance
463 isl::union_map WriteValInstance = getWrittenValue(MA, AccRel); in addArrayWriteAccess() local464 if (WriteValInstance.is_null()) in addArrayWriteAccess()465 WriteValInstance = makeUnknownForDomain(Stmt); in addArrayWriteAccess()472 WriteValInstance.apply_domain(IncludeElement); in addArrayWriteAccess()