为什么编译器未使用-O3优化此C ++成员函数？

下面声明norm的C ++vector类中的成员函数标记为const并且（据我所知）不包含任何副作用。

template <unsigned int N>
struct vector {
  double v[N];

  double norm() const {
    double ret = 0;
    for (int i=0; i<N; ++i) {
      ret += v[i]*v[i];
    }
    return ret;
  }
};

double test(const vector<100>& x) {
  return x.norm() + x.norm();
}

如果我在gcc编译器（版本5.4）norm的const实例化vector（请参见test上面的函数）上调用了多次，并启用了优化功能（即-O3），则编译器会内联norm，但仍会norm多次计算结果，即使结果不应更改。为什么编译器不优化第二个调用，norm而只计算一次该结果？该答案似乎表明，如果编译器确定norm函数没有任何副作用，则编译器应执行此优化。为什么在这种情况下不会发生这种情况？

请注意，我正在确定使用Compiler Explorer生成的编译器，并且下面给出了gcc 5.4版的程序集输出。clang编译器给出类似的结果。还要注意，如果我使用gcc的编译器属性使用手动将其标记norm为const函数__attribute__((const))，则第二次调用将根据需要进行优化，但是我的问题是为什么gcc（和clang）不自动执行此操作，因为norm定义可用？

test(vector<100u>&):
        pxor    xmm2, xmm2
        lea     rdx, [rdi+800]
        mov     rax, rdi
.L2:
        movsd   xmm1, QWORD PTR [rax]
        add     rax, 8
        cmp     rdx, rax
        mulsd   xmm1, xmm1
        addsd   xmm2, xmm1
        jne     .L2
        pxor    xmm0, xmm0
.L3:
        movsd   xmm1, QWORD PTR [rdi]
        add     rdi, 8
        cmp     rdx, rdi
        mulsd   xmm1, xmm1
        addsd   xmm0, xmm1
        jne     .L3
        addsd   xmm0, xmm2
        ret