]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d826b8) | patch
Simplified transfer function logic for ++/-- operators.
authorTed Kremenek <kremenek@apple.com>
Fri, 15 Feb 2008 22:09:30 +0000 (22:09 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 15 Feb 2008 22:09:30 +0000 (22:09 +0000)
commit50d0ac299c641bee9024f3fbae2ea0640898a040
tree806780088e3394fb6fe55eae3b122b4326ff0bd8tree | snapshot
parent5d826b82936beb2c32dd02460332ba8035192c65commit | diff
Simplified transfer function logic for ++/-- operators.
Added more boilerplate transfer function support for pointer arithmetic.
Added more pretty-printing support for symbolic constraints.
Added transfer function support for handling enum values.
Minor pointer types cleanup in ExplodedGraphImpl.

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