[clang][dataflow] Avoid MaxIterations overflow
authorJan Korous <jkorous@apple.com>
Sat, 22 Jan 2022 01:11:05 +0000 (17:11 -0800)
committerJan Korous <jkorous@apple.com>
Mon, 24 Jan 2022 23:58:38 +0000 (15:58 -0800)
commitdd01d971aa2c4b464a295ca5c78ff93fc4441dc3
tree383895245fbf600088ee5c71a17245d824ecd0d1
parentd0d8d2d572cd1db54d0f6d90f8dd3825f9c7b36b
[clang][dataflow] Avoid MaxIterations overflow

unsigned is technically guaranteed to be only 16 bits in which case 1 << 16 would wrap around to zero.

Differential Revision: https://reviews.llvm.org/D117938
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp