GCC-14循环向量化失败提示“unsupported control flow in loop”，Clang可正常向量化的问题咨询

我遇到了一个GCC循环向量化的问题，想跟大家请教一下：

我有一段C代码，核心循环结构如下：

void foo(const float *restrict const input,
            float *restrict const output,
            const size_t input_buffer_size)
{
    #pragma omp simd
    for (size_t i = 0; i < input_buffer_size; i++)
    {
        float x;
        bool predicate;
        x = input[i];  // 这里的[i]访问会让GCC报错，但Clang没问题
        x = predicate ? x : -x;  // 注释掉这行的话，警告就会消失
        // 其他逻辑...
    }
}

在完整代码中用GCC-14编译时，编译器提示循环没被向量化：missed: not vectorized: unsupported control flow in loop，但用Clang-19编译的话，完全可以正常向量化这段循环。

我做了几个测试：

• 如果把input[i]改成input[0]，警告就消失了
• 如果把那个三元运算符的代码删掉，警告也会消失

我猜测可能是GCC不信任input[i]的访问总是合法的，或者是对三元运算符的处理有问题，但没法完全确定。

我之前查过一个非常相关的问题，试了里面的各种技巧，但都没解决。目前我还在准备最小可复现示例（MWE），还没完全搞定。

编辑补充：
后来我在函数内部定义了一个固定大小的数组const float inputs[100] = {0};（同时修改了函数签名避免重定义），这时候GCC的警告居然消失了。这让我更倾向于GCC是对数组长度有顾虑，但把代码放到Compiler Explorer测试后，又觉得可能问题出在三元运算符上。这个编译器提示实在太不精确了，有点让人摸不着头脑。

备注：内容来源于stack exchange，提问作者oliversm