| // { dg-do assemble } |
| int*& foo (int const *& x) |
| { |
| return const_cast<int*&> (x); |
| } |
| |
| /* |
| If the references in this example are changed to pointers (change |
| all `&''s to `*'), no warnings result. |
| |
| I think this is incorrect according to CD2 5.2.11, para 4: |
| |
| 4 An lvalue of type T1 can be explicitly converted to an lvalue of type |
| T2 using the cast const_cast<T2&> (where T1 and T2 are object types) |
| if a pointer to T1 can be explicitly converted to the type pointer to |
| T2 using a const_cast. The result of a reference const_cast refers to |
| the original object. |
| |
| */ |
