diff options
author | Anna Zaks <ganna@apple.com> | 2013-03-25 20:43:24 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2013-03-25 20:43:24 +0000 |
commit | f60f2fb14230f0f03dea217682df81e028a1264c (patch) | |
tree | e75e9220b03e5699c4fb94f4c1aca446d69df7d8 /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | 2d752fc2f9ee6a932bc052fa4ce12452221eaa1f (diff) | |
download | llvm-f60f2fb14230f0f03dea217682df81e028a1264c.zip llvm-f60f2fb14230f0f03dea217682df81e028a1264c.tar.gz llvm-f60f2fb14230f0f03dea217682df81e028a1264c.tar.bz2 |
[analyzer] Set concrete offset bindings to UnknownVal when processing symbolic offset binding, even if no bindings are present.
This addresses an undefined value false positive from concreteOffsetBindingIsInvalidatedBySymbolicOffsetAssignment.
Fixes PR14877; radar://12991168.
llvm-svn: 177905
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions