HomePhabricator

[ScopedNoAliasAA] Remove an unneccesary set

Description

[ScopedNoAliasAA] Remove an unneccesary set

We are trying to prove that one group of operands is a subset of
another. We did this by populating two Sets and determining that every
element within one was inside the other.

However, this is unnecessary. We can simply construct a single set and
test if each operand is within it.

Details

Committed
majnemerAug 14 2016, 5:13 PM
Parents
rL278640: Explicitly generate a reference variable to hold the initializer for a
Branches
Unknown
Tags
Unknown