Page MenuHomePhabricator

[analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in the Z3 backend
ClosedPublic

Authored by mikhail.ramalho on Jul 24 2018, 4:35 PM.

Details

Summary

The macro was manually expanded in the Z3 backend and this patch adds it back.

Adding the expanded code is dangerous as the macro may change in the future and the expanded code might be left outdated.

Diff Detail

Repository
rC Clang

Event Timeline

george.karpenkov accepted this revision.Jul 24 2018, 4:36 PM
This revision is now accepted and ready to land.Jul 24 2018, 4:36 PM
mikhail.ramalho retitled this revision from [analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in the Z3 backedn to [analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in the Z3 backend.Jul 24 2018, 5:01 PM
This revision was automatically updated to reflect the committed changes.