Actions
Bug #171
open
Check whether an expression is addressable before taking its address
Bug #171:
Check whether an expression is addressable before taking its address
Status:
New
Priority:
Normal
Assignee:
-
Category:
Semantic
Start date:
Due date:
% Done:
0%
Estimated time:
Description
GENERIC code generator just marks whatever the operand is as TREE_ADDRESSABLE unconditionally — no lvalue check, no error path. The assumption is that the operand can always have its address taken. Semantic analysis should validate whether an expression is addressable.
No data to display
Actions