clang coverage reports zero count on line after an assert

[hanickadot]

For code:

#include <cstdio>
#include <cassert>

int main(int argc, char ** argv) {
	puts("hello");
	assert(argc>=1);
	puts("ciau");
	return 0;
}

The line after assert(argc>=1); is marked as not covered:

When I expanded the assert macro to look what's going on inside I got:

#include <cstdio>
#include <stdlib.h>

#define assert(e)  \
    ((void) ((e) ? ((void)0) : __assert (#e, __FILE_NAME__, __LINE__)))
#define __assert(e, file, line) \
    ((void)printf ("%s:%d: failed assertion `%s'\n", file, line, e), abort())

int main(int argc, char ** argv) {
	puts("hello");
	assert(argc>=1);
	puts("ciau");
	return 0;
}

The line after the assert is still not matched...

expected behaviour:

1. assert is marked as covered (and not expanded so the failure is not seen)
2. line after the assert is also marked as covered

[hanickadot]

tried with 14 and 15rc3

[zmodem]

Duplicate of #59030