llvm-project
[ValueTracking] Allow dereferenceable(0) to be applied to a null pointer
#175913

Merged

[ValueTracking] Allow dereferenceable(0) to be applied to a null pointer #175913

philnik777 merged 4 commits into llvm:main from philnik777:allow_zero_size_in_dereferenceable

[ValueTracking] Allow dereferenceable(0) to be applied to a null pointer

17ffe7bc

philnik777 requested a review from

nikic 81 days ago

llvmbot added llvm:ir

llvmbot added llvm:analysis

nikic requested changes on 2026-01-14

nikic commented on 2026-01-14

Address comments

ffba2a06

nikic approved these changes on 2026-01-14

nikic requested a review from

fhahn 81 days ago

Address comments

01eecd2c

fhahn commented on 2026-01-14

Address comments

c1ef87f2

fhahn approved these changes on 2026-01-14

philnik777 merged d2afc3e8 into main 81 days ago

philnik777 deleted the allow_zero_size_in_dereferenceable branch 80 days ago

Reviewers

fhahn

nikic

Assignees

No one assigned

Labels

llvm:ir llvm:analysis

Milestone

No milestone