]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e385b93) | patch
[analyzer] Document that pointer arithmetic is not represented by SymExprs.
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 29 Aug 2018 22:57:52 +0000 (22:57 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 29 Aug 2018 22:57:52 +0000 (22:57 +0000)
commitbd078dd963454a4f87a96c950d07ef00b30ff8ec
treef6866ed944035d33921dd7a651cfa3b99af6309ctree | snapshot
parente385b93e1a5b8fd2225715151a82b0b27a9d9933commit | diff
[analyzer] Document that pointer arithmetic is not represented by SymExprs.

Add assertions to verify that.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@340990 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.