When an operator is the first thing an unreachable code invokes, the reporting location might confuse the user. Here:
The issue points to , which might not be immediately seen as executable.
To make the message more understandable, the rule should choose another location (e.g. the assignment), or mention the operator directly, to make it clear that that is not just a compile-time pointer shift.