1 // REQUIRES: z3 2 // RUN: echo %clang_analyze_cc1 | FileCheck %s 3 // CHECK: -analyzer-constraints=z3 4