clang/lib/Analysis/SimpleSValuator.cpp · 8ec5771dcba03c1080aa49e0065d60910c936307 · Roger Ferrer / llvm-epi-0.8

"llvm/test/git@repo.hca.bsc.es:rferrer/llvm-epi.git" did not exist on "c32af340fc9d58dfec668858c3dd880d3d066d92"

Oct 06, 2009

Fix: <rdar://problem/7275774 > Static analyzer warns about NULL pointer when · 8ec5771d

Ted Kremenek authored Oct 06, 2009

                              adding assert

This fix required a few changes:

SimpleSValuator:
- Eagerly replace a symbolic value with its constant value in EvalBinOpNN
  when it is constrained to a constant.  This allows us to better constant fold
  values along a path.
- Handle trivial case of '<', '>' comparison of pointers when the two pointers
  are exactly the same.

RegionStoreManager:

llvm-svn: 83358

8ec5771d

Fix: <rdar://problem/7275774 > Static analyzer warns about NULL pointer when

Ted Kremenek authored Oct 06, 2009

                              adding assert

This fix required a few changes:

SimpleSValuator:
- Eagerly replace a symbolic value with its constant value in EvalBinOpNN
  when it is constrained to a constant.  This allows us to better constant fold
  values along a path.
- Handle trivial case of '<', '>' comparison of pointers when the two pointers
  are exactly the same.

RegionStoreManager:

llvm-svn: 83358