Clang Python marks assert as case statement

[Rubyfi]

Hi,
I'm trying to parse a set of swtich-case statements using the Python clang module and ran into some weird behavior.
Given something like this:

switch(Enum)
{
   case Enum::Value1:
      assert(false);
      break;
   case Enum::Value2:
      ....
      break;
....
}

Clang returns the assert statement's cursor kind as CursorKind.CASE_STMT.
However, this only seems to happen when an assert is the first statement in a case.
Any other statements parse like expected.
When another expression is placed first in the case, the cursor of assert is CursorKind.COMPOUND_STMT instead:

switch(Enum)
{
   case Enum::Value1:
      ;
      assert(false);
      break;
   case Enum::Value2:
      ....
      break;
....
}

Am I misinterpreting the functionality of the underlying cursor; i.e. that it is supposed to help identifying the syntactical meaning of the according token; or is this a bug?

[Rubyfi]

Apologies, I might have posted this in the wrong repo.
I'm using the libclang module (latest) to use the parser.

Apparently, this behaviour occurs with other kinds of macros as well:

#define MIN(a, b) ((a) < (b) ? (a) : (b))

...

switch(Enum)
{
   case Enum::Value1:
      MIN(1,2);
      break;
   case Enum::Value2:
      ....
      break;
...
}

and

#define ADD(a, b) (a + b)

...

switch(Enum)
{
   case Enum::Value1:
      ADD(1,2);
      break;
   case Enum::Value2:
      ....
      break;
...
}

both show the same problem.

[efriedma-quic]

The way the clang AST is structured follows the C grammar: the first statement following a case is a child of the case. The python bindings reflect this: depending on how you structure your query, you'll find the case statement itself instead of its child. So I'm going to close this as working as intended, I think.

This is something we've discussed modifying, because it's not particularly useful to structure the AST this way, but nobody has really dug into it deeply.