diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-05-04 22:19:32 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-05-04 22:19:32 +0000 |
| commit | 394588a1a65203966a23c645357aef6f900f3c17 (patch) | |
| tree | 3f37f1bb44e820723ef4760a8bef8876c705fffd /llvm/lib/Transforms/Vectorize/Vectorize.cpp | |
| parent | e603e076f5b3ac7a5c31c4329abdc6cdc2db58e2 (diff) | |
| download | bcm5719-llvm-394588a1a65203966a23c645357aef6f900f3c17.tar.gz bcm5719-llvm-394588a1a65203966a23c645357aef6f900f3c17.zip | |
[analyzer] Invalidate union regions properly. Don't hesitate to load later.
We weren't invalidating our unions correctly. The previous behavior in
invalidateRegionsWorker::VisitCluster() was to direct-bind an UnknownVal
to the union (at offset 0).
For that reason we were never actually loading default bindings from our unions,
because there never was any default binding to load, and the value
that is presumed when there's no default binding to load
is usually completely incorrect (eg. UndefinedVal for stack unions).
The new behavior is to default-bind a conjured symbol (of irrelevant type)
to the union that's being invalidated, similarly to what we do for structures
and classes. Then it becomes safe to load the value properly.
Differential Revision: https://reviews.llvm.org/D45241
llvm-svn: 331563
Diffstat (limited to 'llvm/lib/Transforms/Vectorize/Vectorize.cpp')
0 files changed, 0 insertions, 0 deletions
