Потенциальная оценка тел встроенных функций и создание экземпляров элементов шаблона

Когда выражения, содержащиеся внутри функции, помеченной как встроенная, считаются «потенциально оцененными»?

a.cpp

template <typename T>
const T& foo(const T& arg) { return arg; }

inline void dead() {
int x(21);
x = foo(x);
}

b.cpp

#include <iostream>

template <typename T> const T& foo(const T&);

int main(int argc, char *argv[]) {
std::cout << foo(12) << std::endl;
}

Если выражения считаются «потенциально вычисляемыми», как только определена встроенная функция, то шаблон должен быть создан, и я ожидаю $(CCC) -c a.cpp; $(CCC) -c b.cpp; $(CCC) a.o b.o -o bin успешно связать Если вместо этого выражения внутри функции, объявленной inline, становятся «потенциально вычисляемыми» только тогда, когда такая функция сама используется в odr, тогда я ожидаю $(CCC) -c a.cpp; $(CCC) -c b.cpp; $(CCC) a.o b.o -o bin потерпеть неудачу во время шага ссылки.

До сих пор я тестировал xl C ++ 12 (который успешно связывается) и различные версии gcc + clang 3.5 (все из которых не в состоянии связать).

Какое поведение правильно? Я пропускаю третий вариант здесь?