1void foo(char **c) {
2  *c = __FILE__;
3  int x = c; // produce a diagnostic
4}
5