]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1e7985) | patch
Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0).
authorTed Kremenek <kremenek@apple.com>
Wed, 6 Feb 2008 00:54:14 +0000 (00:54 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 6 Feb 2008 00:54:14 +0000 (00:54 +0000)
commit862d5bbd90f6bdf18246f0e774d745e8c15cf31d
tree61a85eb47e19fcf405a8788bf203347cd1b32a06tree | snapshot
parente1e798524777271eff0cce556260cc1ec6c97e2ecommit | diff
Added some skeleton code for performing "assume" on symbols: e.g. assume($0 != 0).
This action will add constraints to the possible values of a symbol.
Still needs to be debugged.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@46789 91177308-0d34-0410-b5e6-96231b3b80d8
Analysis/GRConstants.cpp diff | blob | history
Analysis/RValues.h diff | blob | history
Analysis/ValueState.cpp diff | blob | history
Analysis/ValueState.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.