раст не любят в компиляторном чятике 🙂

Для вас ведь специальный отдельный чат открыли https://t.me/LanguageDev. Дайте уж людям тихо-мирно поговорить про компиляторы :)

если точнее то фолды из оптик

Фолды-оптики! Главное — анализ потоков данных! Вот, посмотрите, как разработчик Clang разобрался в этой тематике.
Знали ли вы, что на стороне Clang осуществляется достаточно серьезный статический анализ?
Аж 4 вида: Liveness, UninitializedVariables, annotation checking, thread safety analysis. (а еще Lifetime analysis на подходе).
Любопытное чтение на тему того, что из теории полезно практику: https://lists.llvm.org/pipermail/cfe-dev/2020-October/066937.html

чем строже язык, тем более полные анализы можно делать во фронте 😊

знали конечно, откуда бы там тогда взялось -Wlifetimes

ну это просто вещи разных уровней абстракции, ничего не мешает написать анализатор в том числе используя оптики

Это в самом clang или clang static analyzer?

В самом. К примеру: https://clang.llvm.org/doxygen/LiveVariables_8cpp_source.html

Интересно, спасибо

Для любителей sound/unsound, выдержка из этого кода :)

  // The analysis currently has scalability issues for very large CFGs.
  // Bail out if it looks too large.
  if (cfg->getNumBlockIDs() > 300000)
    return nullptr;

в шланге прикрутили -Wlifetime и несколько других анализов для  С++, под давлением _некоторых других языков_

Тех, которые здесь нельзя называть? 😊 Но это будут варнинги, а не эрроры, как я понимаю, ну только если не включать варнинги как эрроры.

Среди "нескольких других анализов" Liveness, к примеру, появился в Clang еще в далеком 2007. То есть когда некоторых других языков еще и не существовало :)

никто в здравом уме не компилирует без -Werror

эмм, я про эти анализы и не  говорил, не надо передергивать

А о каких вариантах анализа идет речь? Lifetime еще в официальной ветке не появился.

Есть и другие мнения на этот счёт. Всякие диприкейты например, что ходить по всей кодовой базе того же условного кланга и переписывать, если в какой нибудь либе что-то диприкейтнули? Сам кланг и ллвм компилируются без - Werror.

-Wdangling-gsl: Statement-local analysis (enabled by default)

-Wreturn-stack-address: Statement-local analysis (enabled by default)

-Wlifetime: Main flow-sensitive analysis

-Wlifetime-filter: Reduce the number of false-postives at the cost of additional false negatives.

-Wno-lifetime-null: Disable flow-sensitive warnings about nullness of Pointers

-Wlifetime-global: Flow-sensitive analysis that requires global variables of Pointer type to always point to variables with static lifetime

-Wlifetime-disabled: Get warnings when the flow-sensitive analysis is disabled on a function due to forbidden constructs (reinterpret_cast or pointer arithmetic)

как минимум эти