Searched refs:WriteValInstance (Results 1 – 1 of 1) sorted by relevance
461 isl::union_map WriteValInstance = getWrittenValue(MA, AccRel); in addArrayWriteAccess() local462 if (!WriteValInstance) in addArrayWriteAccess()463 WriteValInstance = makeUnknownForDomain(Stmt); in addArrayWriteAccess()470 WriteValInstance.apply_domain(IncludeElement); in addArrayWriteAccess()