HomePhabricator

[analyzer][NFC] Introduce CallDescriptionSets

Authored by steakhal on Fri, Nov 19, 9:32 AM.

Description

[analyzer][NFC] Introduce CallDescriptionSets

Sometimes we only want to decide if some function is called, and we
don't care which of the set.
This CallDescriptionSet will have the same behavior, except
instead of lookup() returning a pointer to the mapped value,
the contains() returns bool.
Internally, it uses the CallDescriptionMap<bool> for implementing the
behavior. It is preferred, to reuse the generic
CallDescriptionMap::lookup() logic, instead of duplicating it.
The generic version might be improved by implementing a hash lookup or
something along those lines.

Reviewed By: martong, Szelethus

Differential Revision: https://reviews.llvm.org/D113589

Details

Committed
steakhalFri, Nov 19, 9:32 AM
Reviewer
martong
Differential Revision
D113589: [analyzer][NFC] Introduce CallDescriptionSets
Parents
rG76effb001d33: [LV] Remove obsolete comment about creating a dummy block (NFC)
Branches
Unknown
Tags
Unknown