[all-commits] [llvm/llvm-project] 99b94f: [analyzer] LoopUnrolling: fix crash when a paramet...

NoQ via All-commits all-commits at lists.llvm.org
Fri May 22 06:15:08 PDT 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 99b94f29ac5dbbce0585d16f631359a66f279ea4
      https://github.com/llvm/llvm-project/commit/99b94f29ac5dbbce0585d16f631359a66f279ea4
  Author: Artem Dergachev <artem.dergachev at gmail.com>
  Date:   2020-05-22 (Fri, 22 May 2020)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp
    M clang/test/Analysis/loop-unrolling.cpp

  Log Message:
  -----------
  [analyzer] LoopUnrolling: fix crash when a parameter is a loop counter.

When loop counter is a function parameter "isPossiblyEscaped" will not find
the variable declaration which lead to hitting "llvm_unreachable".
Parameters of reference type should be escaped like global variables;
otherwise treat them as unescaped.

Patch by Abbas Sabra!

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




More information about the All-commits mailing list