[analyzer] Fix offset overflow check in MemRegion
authorGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 13 Jun 2018 18:32:19 +0000 (18:32 +0000)
committerGeorge Karpenkov <ekarpenkov@apple.com>
Wed, 13 Jun 2018 18:32:19 +0000 (18:32 +0000)
commit0cba5549ef595381512609c16097c18006562335
tree0c240f59b0ab9a7b50c277dd0f6fdd5abb6f56e4
parent788087f5f8013b4b4793754104970e980967eb24
[analyzer] Fix offset overflow check in MemRegion

rdar://39593879
https://bugs.llvm.org/show_bug.cgi?id=37142

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

llvm-svn: 334636
clang/lib/StaticAnalyzer/Core/MemRegion.cpp
clang/test/Analysis/region_store_overflow.c