[analyzer] Implement pointer arithmetic on constants
authorGabor Horvath <xazax.hun@gmail.com>
Tue, 10 Oct 2017 11:01:49 +0000 (11:01 +0000)
committerGabor Horvath <xazax.hun@gmail.com>
Tue, 10 Oct 2017 11:01:49 +0000 (11:01 +0000)
commit21524676a2c9a137459cea8ccc15df27f314418a
tree8b42ef8060a79a1b3d6d66d2ffbf9068fa8e96f9
parent29ffd3f1d9dfe63b8f088ae1c7d4eefefec388f7
[analyzer] Implement pointer arithmetic on constants

Patch by: Rafael Stahl!

Differential Revision: https://reviews.llvm.org/D37478

llvm-svn: 315296
clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp
clang/test/Analysis/pointer-arithmetic.c [new file with mode: 0644]