llvm-project
[analyzer] Fix zext assertion failure in loop unrolling
#121203

Merged

[analyzer] Fix zext assertion failure in loop unrolling #121203

steakhal merged 7 commits into llvm:main from shenjunjiekoda:fix/sa-loopunrolling

llvmbot added clang

llvmbot added clang:static analyzer

steakhal requested a review from

steakhal 1 year ago

[analyzer] Fix zext assertion failure in loop unrolling

2cee5fc2

shenjunjiekoda force pushed from 3bcf5c8f to 2cee5fc2 1 year ago

add testcase

a4d3a24e

fix testcase

ee331f6f

fix testcase

1e7f3338

fix testcase

d8cc2b9f

fix testcase

9ae83de2

steakhal commented on 2024-12-27

steakhal approved these changes on 2024-12-28

Update clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp

9fb8ffe5

steakhal merged 8e965d89 into main 1 year ago

Reviewers

steakhal

Assignees

No one assigned

Labels

clang clang:static analyzer

Milestone

No milestone