diff options
| author | Atmn Patel <a335pate@uwaterloo.ca> | 2020-11-02 16:03:21 -0500 |
|---|---|---|
| committer | Atmn Patel <a335pate@uwaterloo.ca> | 2020-11-04 22:03:14 -0500 |
| commit | ac73b73c16526c9e51943759ea6cab285a57e33f (patch) | |
| tree | 0002a0e6b5a0ae7368d355a729e32294d33224aa /lldb/test/API/functionalities/plugins/python_os_plugin/TestPythonOSPlugin.py | |
| parent | bbd4ebffd4a634a9256f5eb33b3cce06ade8d809 (diff) | |
[clang] Add mustprogress and llvm.loop.mustprogress attribute deduction
Since C++11, the C++ standard has a forward progress guarantee
[intro.progress], so all such functions must have the `mustprogress`
requirement. In addition, from C11 and onwards, loops without a non-zero
constant conditional or no conditional are also required to make
progress (C11 6.8.5p6). This patch implements these attribute deductions
so they can be used by the optimization passes.
Differential Revision: https://reviews.llvm.org/D86841
Diffstat (limited to 'lldb/test/API/functionalities/plugins/python_os_plugin/TestPythonOSPlugin.py')
0 files changed, 0 insertions, 0 deletions