[CASSANDRA-17693] Missing type checking on reused bind variables

• Type: Bug
• Status: Open
• Priority: Normal
• Resolution: Unresolved
• Fix Version/s: 3.0.x, 3.11.x, 4.0.x, 5.x
• Component/s: CQL/Semantics
• Bug Category: Correctness - API / Semantic Implementation
• Severity: Normal
• Complexity: Normal
• Discovered By: User Report
• Platform: All
• Assignee: Unassigned
• Reporter: Avi Kivity
• Created: 15/Jun/22 16:59
• Updated: 07/Mar/23 10:53

Description

A bind variable gets its type from its context (e.g. in INSERT INTO tab(a) VALUES(:var), :var has the same type as tab.a. But what if the same variable is used in contexts that have different types? Assume a and b have incompatible types:

INSERT INTO ks.tab (id, a, b) VALUES(:id, :a, :a)

The server should reject the query, but it doesn't.

I think what happens is that one :a shadows the other, so the other :a can't even get a value.

More complete reproducer attached.