llvm-project
[analyzer] Add option assume-at-least-one-iteration
#125494

Merged

[analyzer] Add option assume-at-least-one-iteration #125494

NagyDonat merged 3 commits into llvm:main from Ericsson:assume-one-iteration

[analyzer][NFC] Add option assume-one-iteration

d938ccc8

NagyDonat requested a review from

Xazax-hun 318 days ago

NagyDonat requested a review from

haoNoQ 318 days ago

NagyDonat requested a review from

steakhal 318 days ago

NagyDonat requested a review from

Szelethus 318 days ago

llvmbot added clang

llvmbot added clang:static analyzer

steakhal commented on 2025-02-03

NagyDonat changed the title ~~[analyzer][NFC] Add option assume-one-iteration~~ [analyzer] Add option assume-one-iteration 318 days ago

NagyDonat requested a review from

gamesh411 317 days ago

gamesh411 commented on 2025-02-06

steakhal approved these changes on 2025-02-06

Rename option to assume-at-least-one-iteration

57f67e27

Clarify comments about relationship with eagerly-assume

399fb1e6

NagyDonat changed the title ~~[analyzer] Add option assume-one-iteration~~ [analyzer] Add option assume-at-least-one-iteration 315 days ago

steakhal approved these changes on 2025-02-06

gamesh411 approved these changes on 2025-02-12

NagyDonat merged edbc1fb2 into main 309 days ago

Reviewers

gamesh411

steakhal

whisperity

Xazax-hun

haoNoQ

Szelethus

Assignees

No one assigned

Labels

clang clang:static analyzer

Milestone

No milestone