Page MenuHomePhabricator
Differential D50768

[analyzer] Delete SMTContext. NFC.
ClosedPublic
Actions

Authored by mikhail.ramalho on Aug 15 2018, 5:09 AM.

Details

Reviewers
NoQ
george.karpenkov
hiraditya
Commits
rG2420ee9b9151: [analyzer] Delete SMTContext. NFC.
rL340532: [analyzer] Delete SMTContext. NFC.
rC340532: [analyzer] Delete SMTContext. NFC.
Summary

There is no reason to have a base class for a context anymore as each SMT object carries a reference to the specific solver context.

Diff Detail

Repository
rC Clang

Event Timeline

mikhail.ramalho retitled this revision from [analyzer] Delete SMTContext to [analyzer] Delete SMTContext. NFC..Aug 15 2018, 5:29 AM
hiraditya accepted this revision.Aug 15 2018, 10:33 AM
hiraditya added a subscriber: hiraditya.

Good catch!

This revision is now accepted and ready to land.Aug 15 2018, 10:33 AM
Closed by commit rC340532: [analyzer] Delete SMTContext. NFC. (authored by mramalho, committed by ). · Explain WhyAug 23 2018, 6:21 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Diff 162161

View Options

include/clang/StaticAnalyzer/Core/PathSensitive/SMTContext.h

Loading...
View Options

lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp

Loading...