]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a1deb8) | patch
Added "SymbolManager", which manages the set of symbolic values used
authorTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 17:27:31 +0000 (17:27 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 17:27:31 +0000 (17:27 +0000)
commit68fd257ada1ed5a20728241962a21826ae36ef63
tree58c5f598ce9709841d7a06a115292ea17ce09468tree | snapshot
parent5a1deb8d9c0722beae28d693fa137bbb942bd11fcommit | diff
Added "SymbolManager", which manages the set of symbolic values used
for analyzing a function.

The initial state for GRConstants now assigns symbolic values to parameters.

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