ранжированный для цикла переменных приводит к возвращению адреса-ссылки локальной переменной?

// g++ --std=c++17 test.cpp -I /usr/local/include -L /usr/local/lib -lboost_system -Wall -pedantic -Wreturn-type -Wstrict-aliasing -Wreturn-local-addr -fsanitize=address -g
// LD_LIBRARY_PATH=/usr/local/lib ./a.out

#include <iostream>
#include <boost/filesystem.hpp>

namespace fs = boost::filesystem;

class A {
public:
fs::path path_;

const fs::path & path() const { return path_; }
fs::path & path() { return path_; }
};

class B {
public:
fs::path root_path_;

A path_2;
A path_3;

const fs::path & operator()() const {
for ( const auto & path : {
path_3.path(),
path_2.path(),
root_path_
}) {
if ( not path.empty() ) {
return path;
}
}
throw std::logic_error{"using default-constructed B"};
}
};

int main(int argc, char **argv) {
B b;
b.root_path_ = "foo/";
b.path_2.path() = "foo/bar";
b.path_3.path() = "foo/baz";

std::cout << b() << '\n';

return 0;
}

С приведенным выше кодом, который, насколько мне известно, является допустимым C ++. Вместо этого при вызове я получаю вывод мусора.

g++ изначально не жалуется, однако адрес Sanitizer делает. g++ наконец жалуется при добавлении -O2, Сгенерированное предупреждение

test.cpp: In member function ‘const boost::filesystem::path& B::operator()() const’:
test.cpp:31:12: warning: function may return address of local variable [-Wreturn-local-addr]
return path;
^~~~
test.cpp:29:3: note: declared here
}) {
^

Обратите внимание, что я использую:

$ cat /etc/fedora-release
Fedora release 25 (Twenty Five)
$ g++ --version
g++ (GCC) 6.3.1 20161221 (Red Hat 6.3.1-1)
Copyright (C) 2016 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Обратите внимание, что я решил ошибка используя вместо этого указатель.

    const fs::path & operator()() const {
for ( const auto * path : {
&path_3.path(),
&path_2.path(),
&root_path_
}) {
if ( not path->empty() ) {
return *path;
}
}
throw std::logic_error{"using default-constructed B"};
}

Но это оставляет некоторые вопросы в моей голове:

1. Почему g++ не жаловаться на проблему до -O2 добавлен?
2. что конкретно в моем коде не определено? Я бы сказал, что это четко определено: B::operator() const это … хорошо … постоянный Это должно означать, что объекты используемый внутри это или местные жители или постоянные участники. Доступ к постоянным членам. Создает локальную переменную const auto & который … должен ссылаться на поле члена const. Что именно заставляет его привязываться к временному?