How static casts work between Stmt and its inheritors in clang?

Hi LLVM people,

I am new to clang/llvm and have been hacking on it for about three weeks now. I am trying to implement compound assignment operators, +=, -=, and *=, for matrices. Here are the bug details.

I have a lit test that tries to do a “a += b” for matrices a and b. Here’s its trace (courtesy Florian Hahn). Clang fails on this assertion. And this is because when we do a static cast from a Stmt instance to a CompoundAssignOperator here, we are not assigning the correct QualType to the LHS. Concretely, here’s what I found in my debugging.

printing out S

(lldb) p S
(std::__add_pointer_helper<clang::Stmt, true>::type) $0 = 0x0000000011621f70

cast S to CompoundAssignOperator

(lldb) p ((CompoundAssignOperator *) S)
(clang::CompoundAssignOperator *) $1 = 0x0000000011621f70

access ComputationLHSType attribute of casted S. The QualType is NULL.

(lldb) p ((CompoundAssignOperator *) S)->ComputationLHSType
(clang::QualType) $2 = {
Value = (Value = 0)
}

access ComputationResultType attribute of casted S.

(lldb) p ((CompoundAssignOperator *) S)->ComputationResultType
(clang::QualType) $3 = {
Value = (Value = 291641504)
}

So I think it’s working correctly for ComputationResultType but is somehow assigning null to ComputationLHSType’s QualType.Value. This is interesting because if I try to cast S to something like BinaryOperator and cast its operands to Expr, the types are coming out correctly.

Cast S to BinaryOperator

(lldb) p ((BinaryOperator *) S)
(clang::BinaryOperator *) $9 = 0x0000000011621f70

Cast first operand to Expr and get its type.

(lldb) p ((Expr *) ((BinaryOperator *) S)->SubExprs[0])->TR
(clang::QualType) $13 = {
Value = (Value = 291641504)
}

Cast second operand to Expr and get its type.

(lldb) p ((Expr *) ((BinaryOperator *) S)->SubExprs[1])->TR
(clang::QualType) $14 = {
Value = (Value = 291641504)
}

I suspect that these static casts to children classes are connected to the traversal of AST where classes of child nodes are in the inheritance hierarchy of the class of the parent. What I am trying to understand though is the mechanics of these casting. What do I need to look at in order to do that Stmt → CompoundAssignOperator correctly. I was going through the static_cast C++ reference doc but I suspect that I am missing something specific to the codebase.

Does anyone have any thoughts on where I can go from here?

Many thanks,
Saurabh

Hi,

Hi LLVM people,

Llvm-dev is usually used to discuss issues related to llvm itself. As this email is related to Clang internals, cfe-dev would be more suitable (added as CC).

I am new to clang/llvm and have been hacking on it for about three weeks now. I am trying to implement compound assignment operators, +=, -=, and *=, for matrices. Here are the bug details.

Thank you very much for taking a look at the issue!

I have a lit test that tries to do a “a += b” for matrices a and b. Here’s its trace (courtesy Florian Hahn). Clang fails on this assertion. And this is because when we do a static cast from a Stmt instance to a CompoundAssignOperator here, we are not assigning the correct QualType to the LHS. Concretely, here’s what I found in my debugging.

printing out S

(lldb) p S
(std::__add_pointer_helper<clang::Stmt, true>::type) $0 = 0x0000000011621f70

cast S to CompoundAssignOperator

(lldb) p ((CompoundAssignOperator *) S)
(clang::CompoundAssignOperator *) $1 = 0x0000000011621f70

access ComputationLHSType attribute of casted S. The QualType is NULL.

(lldb) p ((CompoundAssignOperator *) S)->ComputationLHSType
(clang::QualType) $2 = {
Value = (Value = 0)
}

access ComputationResultType attribute of casted S.

(lldb) p ((CompoundAssignOperator *) S)->ComputationResultType
(clang::QualType) $3 = {
Value = (Value = 291641504)
}

So I think it’s working correctly for ComputationResultType but is somehow assigning null to ComputationLHSType’s QualType.Value. This is interesting because if I try to cast S to something like BinaryOperator and cast its operands to Expr, the types are coming out correctly.

You are correct I think, the key issue is that we assign the wrong type to LHS (null instead of the matrix type of the binop result). The problem is that we do not properly set CompLHSTy for matrix expressions (see https://github.com/llvm/llvm-project/blob/ca5247bb1770a1dfa56b78303d99f1cc9a0a06ee/clang/lib/Sema/SemaExpr.cpp#L10518 and compare to what’s done for vector types above). I think if that is fixed, things should work out as expected.

Cheers,
Florian

Hi Florian,

Thank you for the suggestions. I am able to get += and -= work for matrices and should be able to create a patch for review soon, after I am done writing lit tests.

Cheers,
Saurabh

Sounds great, thanks!