clang/Analysis/GRConstants.cpp · 17b65b557bba02051db390f2044b0aa15d39da6f · Roger Ferrer / llvm-epi-0.8 · GitLab

This is an archived project. Repository and other project resources are read-only.

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

Added assumption logic for symbolic non-lvalues when used in conditions such as · 17b65b55
Ted Kremenek authored Feb 06, 2008
```
"if(x)". On the true branch we know the value is != 0, and on the false branch
we know it is 0.

llvm-svn: 46814
```
17b65b55