Searched refs:WriteValInstance (Results 1 – 1 of 1) sorted by relevance
462 isl::union_map WriteValInstance = getWrittenValue(MA, AccRel); in addArrayWriteAccess() local463 if (WriteValInstance.is_null()) in addArrayWriteAccess()464 WriteValInstance = makeUnknownForDomain(Stmt); in addArrayWriteAccess()471 WriteValInstance.apply_domain(IncludeElement); in addArrayWriteAccess()