[Bug c/85182] New: _Static_assert is less than useful in a static inline

[ajax at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85182

            Bug ID: 85182
           Summary: _Static_assert is less than useful in a static inline
           Product: gcc
           Version: 8.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ajax at redhat dot com
  Target Milestone: ---

Consider:

---
desoxy:~/git/junkdrawer% cat -n static-assert.h
     1  static inline void bar(void)
     2  {
     3      _Static_assert(0, "called bar()");
     4  }
desoxy:~/git/junkdrawer% cat -n static-assert.c
     1  #include "static-assert.h"
     2  void foo(void) { bar(); }
desoxy:~/git/junkdrawer% gcc -O2 -c static-assert.c 
In file included from static-assert.c:1:
static-assert.h: In function ‘bar’:
static-assert.h:3:5: error: static assertion failed: "called bar()"
     _Static_assert(0, "called bar()");
     ^~~~~~~~~~~~~~
desoxy:~/git/junkdrawer% gcc --version | head -1
gcc (GCC) 8.0.1 20180317 (Red Hat 8.0.1-0.19)
---

Note that the report locates the definition, not the call site. Effectively I'm
being punished for avoiding the preprocessor, which seems wrong:

---
desoxy:~/git/junkdrawer% cat -n static-assert.h
     1  #define bar() do { \
     2          _Static_assert(0, "called bar()"); \
     3      } while (0)
desoxy:~/git/junkdrawer% gcc -O2 -c static-assert.c
In file included from static-assert.c:1:
static-assert.c: In function ‘foo’:
static-assert.h:2:9: error: static assertion failed: "called bar()"
         _Static_assert(0, "called bar()"); \
         ^~~~~~~~~~~~~~
static-assert.c:2:18: note: in expansion of macro ‘bar’
 void foo(void) { bar(); }
                  ^~~
---