[PATCH] D86841: [clang] Add mustprogress and llvm.loop.mustprogress attribute deduction

[Atmn Patel via Phabricator via cfe-commits]

atmnpatel added inline comments.


================
Comment at: clang/lib/CodeGen/CGStmt.cpp:801
+             getLangOpts().CPlusPlus11 || getLangOpts().CPlusPlus14 ||
+             getLangOpts().CPlusPlus17 || getLangOpts().C2x) {
+    LoopMustProgress = true;
----------------
aqjune wrote:
> A silly question: does old C/C++ not guarantee that loops should make forward progress?
Nope, it was introduced explicitly simultaneously in C11 (6.8.5p6) and C++11 has it implicitly through [intro.progress].


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86841/new/

https://reviews.llvm.org/D86841