1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -verify %s
2 // expected-no-diagnostics
3 
4 void initbug() {
5   const union { float a; } u = {};
6   (void)u.a; // no-crash
7 }
8