HomePhabricator

Optimistic assume required invariant loads to be invariant

Description

Optimistic assume required invariant loads to be invariant

So far we bailed if a required invariant load was potentially overwritten in
the SCoP. From now on we will optimistically assume it is actually invariant
and, to this end, restrict the valid parameter space.

Details

Committed
jdoerfertMay 19 2016, 6:24 AM
Parents
rL270059: [include-fixer] Remove an unused local variable ExistingHeaders.
Branches
Unknown
Tags
Unknown