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
Showing
- include/clang/Analysis/PathSensitive/BasicValueFactory.h 2 additions, 2 deletionsinclude/clang/Analysis/PathSensitive/BasicValueFactory.h
- include/clang/Analysis/PathSensitive/RValues.h 50 additions, 6 deletionsinclude/clang/Analysis/PathSensitive/RValues.h
- lib/Analysis/BasicValueFactory.cpp 11 additions, 11 deletionslib/Analysis/BasicValueFactory.cpp
- lib/Analysis/GRExprEngine.cpp 11 additions, 16 deletionslib/Analysis/GRExprEngine.cpp
- lib/Analysis/RValues.cpp 14 additions, 1 deletionlib/Analysis/RValues.cpp
- lib/Analysis/ValueState.cpp 3 additions, 0 deletionslib/Analysis/ValueState.cpp
Loading
Please register or sign in to comment