[analyzer] Add new Z3 constraint manager backend

Description

[analyzer] Add new Z3 constraint manager backend

Summary: Implement new Z3 constraint manager backend.

Reviewers: zaks.anna, dcoughlin, NoQ, xazax.hun

Subscribers: mgorny, cfe-commits

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

Details

Committed
ddccApr 4 2017, 12:52 PM
Differential Revision
D28952: [analyzer] Add new Z3 constraint manager backend
Parents
rL299462: [AArch64][Fuchsia] Allow -mcmodel=kernel for --target=aarch64-fuchsia
Branches
Unknown
Tags
Unknown