Extended Description
$ cat test.c
#define MACRO if (b)
void foo2() {
int a;
int b = 1;
MACRO
bar(a);
}
$ clang -cc1 -analyze -analyzer-checker=core test.c
-analyzer-output=html -o .
HTML output attached
Basically, it gets messy when it tries to produce popup pieces within macro pieces.