]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e7bd89a) | patch
[analyzer] Generate a LazyCompoundVal when loading from a union-typed region.
authorJordan Rose <jordan_rose@apple.com>
Wed, 23 Oct 2013 20:08:55 +0000 (20:08 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 23 Oct 2013 20:08:55 +0000 (20:08 +0000)
commit1dc31f5ead63d7197edf6f34a7821b93ea6698a1
tree919dbe005f5e38fc553b2b4a088141242bc82860tree | snapshot
parente7bd89af8aa96a779c0031baf1a21e960a51d0f0commit | diff
[analyzer] Generate a LazyCompoundVal when loading from a union-typed region.

This ensures that variables accessible through a union are invalidated when
the union value is passed to a function. We still don't fully handle union
values, but this should at least quiet some false positives.

PR16596

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