1 // RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.API -analyzer-viz-egraph-ubigraph -verify %s 2 // expected-no-diagnostics 3 4 int f(int x) { 5 return x < 0 ? 0 : 42; 6 } 7 8