diff options
author | albert-github <albert.tests@gmail.com> | 2019-07-14 17:13:48 (GMT) |
---|---|---|
committer | albert-github <albert.tests@gmail.com> | 2019-07-14 17:13:48 (GMT) |
commit | f4435d45a2b23e9fea42969f530e5d0c0c1fe2b4 (patch) | |
tree | fbff2e9e8b8dc4fdb441e17e6e0284670c15d90c /doc/trouble.doc | |
parent | b118de2f38cfcb91888db571b5d9fd1a85731cd5 (diff) | |
download | Doxygen-f4435d45a2b23e9fea42969f530e5d0c0c1fe2b4.zip Doxygen-f4435d45a2b23e9fea42969f530e5d0c0c1fe2b4.tar.gz Doxygen-f4435d45a2b23e9fea42969f530e5d0c0c1fe2b4.tar.bz2 |
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)
```
Diffstat (limited to 'doc/trouble.doc')
0 files changed, 0 insertions, 0 deletions