[all-commits] [llvm/llvm-project] 29353e: [analyzer] LoopWidening: fix crash by avoiding ali...

[abbas-sabra-sonarsource via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 29353e69d25c0f13cd2704ce2269af464d0751a8
      https://github.com/llvm/llvm-project/commit/29353e69d25c0f13cd2704ce2269af464d0751a8
  Author: Abbas Sabra <abbas.sabra at sonarsource.com>
  Date:   2020-06-09 (Tue, 09 Jun 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/LoopWidening.cpp
    M clang/test/Analysis/loop-widening-preserve-reference-type.cpp

  Log Message:
  -----------
  [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