llvm-project
[analyzer] Invalidate the object in opaque ctor calls regardless if an arg refers to it
#170887

Merged

[analyzer] Invalidate the object in opaque ctor calls regardless if an arg refers to it #170887

steakhal merged 5 commits into llvm:main from steakhal:bb/rdar-156942972-opaque-ctor-invalidation-fix

[analyzer] Invalidate the object in opaque ctor calls regardless if a…

96d5f7c1

steakhal requested a review from

necto 157 days ago

steakhal requested a review from

Xazax-hun 157 days ago

steakhal requested a review from

haoNoQ 157 days ago

steakhal requested a review from

NagyDonat 157 days ago

steakhal added clang:static analyzer

llvmbot added clang

necto approved these changes on 2025-12-08

necto commented on 2025-12-08

Merge remote-tracking branch 'llvm/main' into bb/rdar-156942972-opaqu…

f0b63d45

NagyDonat approved these changes on 2026-01-12

Accept typo fixes

81db121d

Add test for aliasing pointers

f910fb54

Merge remote-tracking branch 'llvm/main' into bb/rdar-156942972-opaqu…

0d081ff5

steakhal enabled auto-merge (squash) 117 days ago

steakhal merged efa32e36 into main 117 days ago

steakhal deleted the bb/rdar-156942972-opaque-ctor-invalidation-fix branch 117 days ago

Reviewers

NagyDonat

necto

Xazax-hun

haoNoQ

Assignees

No one assigned

Labels

clang clang:static analyzer

Milestone

No milestone