Skip to content

remove SMG#getNullEdgesMapOffsetToSizeForObject

Remove SMG#getNullEdgesMapOffsetToSizeForObject

Remove the methods SMG#isCoveredByNullifiedBlocks and #getNullEdgesMapOffsetToSizeForObject.

Introduce SMGHasValueEdgeSet#getEdgeExactly(obj,ofs) for the only usage in SMGJoinFields#joinFieldsRelaxStatus.

Merge request reports

Loading