]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4eb17e5) | patch
[analyzer] Set concrete offset bindings to UnknownVal when processing symbolic offset...
authorAnna Zaks <ganna@apple.com>
Mon, 25 Mar 2013 20:43:24 +0000 (20:43 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 25 Mar 2013 20:43:24 +0000 (20:43 +0000)
commit5db8fac5f304d9973f724d5aeb4108367d36f781
treec8d20f8ed7d3ac39556fddd37d8ea2ca079a1478tree | snapshot
parent4eb17e553c63f701c7f565e12bc6c5dff4d914d5commit | diff
[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.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@177905 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/RegionStore.cpp diff | blob | history
test/Analysis/region-store.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.