c ++ atomic: вызовет ли функция функцию барьера памяти?

Я читаю эту статью Упорядочение памяти во время компиляции из которого сказано:

На самом деле, большинство вызовов функций действуют как барьеры компилятора,
содержат ли они свой собственный барьер компилятора или нет. Это исключает встроенные функции, функции, объявленные с чистым атрибутом, и случаи, когда используется генерация кода времени ссылки. Помимо этих случаев, вызов внешней функции даже сильнее, чем барьер компилятора, поскольку компилятор понятия не имеет, какими будут побочные эффекты функции.

Это правдивое утверждение? Подумайте об этом образце —

std::atomic_bool flag = false;
int value = 0;

void th1 () { // running in thread 1
value = 1;
// use atomic & release to prevent above sentence being reordered below
flag.store(true, std::memory_order_release);
}

void th2 () { // running in thread 2
// use atomic & acquire to prevent asset(..) being reordered above
while (!flag.load(std::memory_order_acquire)) {}
assert (value == 1);    // should never fail!
}

Тогда мы можем удалить атомарный, но заменить на вызов функции —

bool flag = false;
int value = 0;

void writeflag () {
flag = true;
}
void readflag () {
while (!flag) {}
}
void th1 () {
value = 1;
writeflag(); // would function call prevent reordering?
}
void th2 () {
readflag();  // would function call prevent reordering?
assert (value == 1);    // would this fail???
}

Любая идея?