Page MenuHomePhabricator

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

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



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.

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.