| // { dg-do assemble } | |
| template <class InputIterator, class BinaryOperation> | |
| void accumulate(InputIterator first, | |
| BinaryOperation binary_op) { | |
| } | |
| template<class R> int p( int val, R& r ) | |
| { | |
| return val + r; | |
| } | |
| template<class R> void f(R) | |
| { | |
| accumulate(0, static_cast<int (*)(int, R&)>(p) ); | |
| } | |
| int main() | |
| { | |
| f(0); | |
| } |