[analyzer] LoopWidening: fix crash by avoiding aliased references invalidation
authorAbbas Sabra <abbas.sabra@sonarsource.com>
Tue, 9 Jun 2020 09:49:47 +0000 (12:49 +0300)
committerValeriy Savchenko <vsavchenko@apple.com>
Tue, 9 Jun 2020 09:55:54 +0000 (12:55 +0300)
commit29353e69d25c0f13cd2704ce2269af464d0751a8
tree186ba70f295b38e42a8d459a625290e851714362
parent7117066bd6182f53ec9f97d2e5e81de27c2e0db0
[analyzer] LoopWidening: fix crash by avoiding aliased references invalidation

Summary: LoopWidening is invalidating references coming from type
aliases which lead to a crash.

Patch by Abbas Sabra!

Differential Revision: https://reviews.llvm.org/D80669
clang/lib/StaticAnalyzer/Core/LoopWidening.cpp
clang/test/Analysis/loop-widening-preserve-reference-type.cpp