llvm-project
[Liveness][analyzer] Fix handling of [[assume]] attributes
#198618

Merged

[Liveness][analyzer] Fix handling of [[assume]] attributes #198618

NagyDonat merged 10 commits into llvm:main from Ericsson:fix-assume-attribute

[NFC] Add testcase 'multiple_assumptions'

b73f83f2

[NFC] Add a trivial testcase

74118f4d

Remove unwanted (but harmless) NodeBuilder

f9a3a8e9

Fix handling of [[assume(...)]] annotations

f64e2217

[NFC] Add a test for undefined assumption

20617ab8

NagyDonat requested a review from

steakhal 33 days ago

llvmorg-github-actions added clang

llvmorg-github-actions added clang:static analyzer

llvmorg-github-actions added clang:analysis

Xazax-hun commented on 2026-05-20

[NFC] Remove FIXME notes about analogous attributes

0e3622db

Ignore assumptions that evaluate to undefined

e189b20f

steakhal approved these changes on 2026-05-26

Merge branch 'main' into fix-assume-attribute

ff873f78

NagyDonat changed the title ~~[clang][analyzer] Fix liveness and analysis of [[assume]] attributes~~ [Liveness][analyzer] Fix handling of [[assume]] attributes 20 days ago

Merge branch 'main' into fix-assume-attribute

b0badf5e

Replace 'LocationContext' with 'StackFrame'

7d43750a

NagyDonat enabled auto-merge (squash) 20 days ago

NagyDonat merged 73ded458 into main 20 days ago

Reviewers

steakhal

Xazax-hun

Assignees

No one assigned

Labels

clang clang:static analyzer clang:analysis

Milestone

No milestone

llvm-project [Liveness][analyzer] Fix handling of [[assume]] attributes #198618 Merged

[Liveness][analyzer] Fix handling of [[assume]] attributes #198618

llvm-project
[Liveness][analyzer] Fix handling of [[assume]] attributes
#198618

Merged