title: A pointer-to-a-VLA-typed controlling expression in a _Generic expression
body: <p>Why doesn't this static assertion trigger on major compilers?</p>
  <pre><code>void test(int x){
      _Static_assert(_Generic( (char(*)[x])0, 
      char (*)[1]: 1, default: 0),&quot;&quot;);
  }
  </code></pre>
  <p><a href="https://gcc.godbolt.org/z/E67a79oPT" rel="nofollow noreferrer">https://gcc.godbolt.org/z/E67a79oPT</a></p>
  <p>Are pointers to variable-length-arrays supposed to be compatible with pointers to fixed-length arrays?</p>