This is an archive of the discontinued LLVM Phabricator instance.

[clang][dataflow] Model pointer value for builtin functions.
ClosedPublic

Authored by mboehme on Jun 12 2023, 1:11 AM.

Details

Summary

This fixes a false positive in the Crubit nullability verification.

Diff Detail

Event Timeline

mboehme created this revision.Jun 12 2023, 1:11 AM
Herald added a project: Restricted Project. · View Herald Transcript
mboehme requested review of this revision.Jun 12 2023, 1:11 AM
Herald added a project: Restricted Project. · View Herald TranscriptJun 12 2023, 1:11 AM
Herald added a subscriber: cfe-commits. · View Herald Transcript
gribozavr2 accepted this revision.Jun 12 2023, 3:15 AM
This revision is now accepted and ready to land.Jun 12 2023, 3:15 AM