clang/test/Analysis/apsint.c


1
2
3
4
5
6
7

// REQUIRES: z3
// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux-gnu -analyzer-checker=core -verify %s
// expected-no-diagnostics

_Bool a() {
  return !({ a(); });
}