[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 created this revision.Aug 15 2018, 5:09 AM

Herald added subscribers: Szelethus, a.sidorin, szepet, xazax.hun. · View Herald TranscriptAug 15 2018, 5:09 AM

mikhail.ramalho added a child revision: D50770: [analyzer] Templatefy SMTConstraintManager so more generic code can be moved from solver specific implementations. NFC..Aug 15 2018, 5:18 AM

mikhail.ramalho retitled this revision from [analyzer] Delete SMTContext to [analyzer] Delete SMTContext. NFC..Aug 15 2018, 5:29 AM

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). · Explain WhyAug 23 2018, 6:21 AM

This revision was automatically updated to reflect the committed changes.

Herald added a subscriber: cfe-commits. · View Herald TranscriptAug 23 2018, 6:21 AM

Revision Contents
Changeset List

Path

Size

include/

clang/

StaticAnalyzer/

Core/

PathSensitive/

SMTContext.h

31 lines

lib/

StaticAnalyzer/

Core/

Z3ConstraintManager.cpp

5 lines

Diff 162161

View Options

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