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