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

[Juneyoung Lee via Phabricator via cfe-commits]

aqjune added inline comments.


================
Comment at: clang/lib/CodeGen/CGStmt.cpp:801
+             getLangOpts().CPlusPlus11 || getLangOpts().CPlusPlus14 ||
+             getLangOpts().CPlusPlus17 || getLangOpts().C2x) {
+    LoopMustProgress = true;
----------------
A silly question: does old C/C++ not guarantee that loops should make forward progress?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86841