1// RUN: %clang_analyze_cc1 -fblocks -analyze -analyzer-checker=core,nullability,apiModeling  -verify %s
2
3#include "Inputs/system-header-simulator-for-nullability-cxx.h"
4
5// expected-no-diagnostics
6
7void blah() {
8  foo(); // no-crash
9}
10