[cfe-dev] [Analyzer] How to register a trait for a custom data structure?

Torry Chen via cfe-dev cfe-dev at lists.llvm.org
Fri Jun 21 17:42:59 PDT 2019


I'm writing a checker and would like to associate program states with a
custom data structure, e.g. "struct MyData {...}". When trying
REGISTER_TRAIT_WITH_PROGRAMSTATE it doesn't seem to support custom data
types. It's a single value so I don't want to use LIST or SET.

Are there other simple ways to register a single compound value with
program state?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20190621/e857d52e/attachment.html>


More information about the cfe-dev mailing list