Missing warning for "double comment"

In case we have:
```
/** \file
/** the second comment start line
*/

/** the docu
 */
void a_fie(void){}

/** the docu
** double commented
 */
void a_fie2(void){}
``
one would expect to get a warning regarding the
```
/**
/**
```
but none is given.
One would have expected:
```
aa.c:13: warning: Reached end of file while still inside a (nested) comment. Nesting level 1 (probable line reference: 1)
```

0 files changed, 0 insertions, 0 deletions