]> granicus.if.org Git - clang/commit
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from...
authorTed Kremenek <kremenek@apple.com>
Tue, 29 Apr 2008 22:17:41 +0000 (22:17 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 29 Apr 2008 22:17:41 +0000 (22:17 +0000)
commit718c4f7b3ff713c3ebee46553d687bde63e5666f
treeaeb2f3877956ce8c59a70d6925b933133655d906
parent1b8bd4d71c2098126041b4de4267175a82f0103c
Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues.
This removes the failure in null-deref-ps.c (test suite).

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@50449 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/BasicValueFactory.h
include/clang/Analysis/PathSensitive/RValues.h
lib/Analysis/BasicValueFactory.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/RValues.cpp
lib/Analysis/ValueState.cpp