This is an archive of the discontinued LLVM Phabricator instance.

[Analyzer][WebKit] Use tri-state types for relevant predicates
ClosedPublic

Authored by jkorous on Sep 22 2020, 9:56 PM.

Details

Summary

Some of the predicates can't always be decided - for example when a type definition isn't available. At the same time it's necessary to let client code decide what to do about such cases - specifically we can't just use true or false values as there are callees with conflicting strategies how to handle this.

This is a speculative fix for PR47276.
https://bugs.llvm.org/show_bug.cgi?id=47276

Diff Detail

Event Timeline

jkorous created this revision.Sep 22 2020, 9:56 PM
jkorous requested review of this revision.Sep 22 2020, 9:56 PM
This revision was not accepted when it landed; it landed in state Needs Review.Sep 22 2020, 9:57 PM
This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptSep 22 2020, 9:57 PM
Herald added a subscriber: cfe-commits. · View Herald Transcript

Created this for eventual post-commit review.