1// Test that this unreachable code warning is2// not reported because it is in a header.3 4void foo_unreachable_header(void) {5 return;6 foo_unreachable_header(); // no-warning7}