[clang] [clang][analyzer] Fix crash in loop unrolling (PR #82089)

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 13 15:01:39 PDT 2024


================
@@ -1,5 +1,7 @@
 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config unroll-loops=true,cfg-loopexit=true -verify -std=c++14 -analyzer-config exploration_strategy=unexplored_first_queue %s
 // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -analyzer-config unroll-loops=true,cfg-loopexit=true,exploration_strategy=dfs -verify -std=c++14 -DDFS=1 %s
+// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-config unroll-loops=true -verify %s
+// expected-no-diagnostics
----------------
steakhal wrote:

```suggestion
```

https://github.com/llvm/llvm-project/pull/82089


More information about the cfe-commits mailing list