diff options
| author | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-05-23 15:27:05 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro.albini@ferrous-systems.com> | 2023-05-23 16:54:34 +0200 |
| commit | 292bc548c882686f40886934f2055f3440a87eca (patch) | |
| tree | 6932479dc0050645bb19ee02e16fb38de1ade2da /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | dc1ed9ddd7d15dfe75453b68bc1da8ae32dbe1f7 (diff) | |
| download | rust-292bc548c882686f40886934f2055f3440a87eca.tar.gz rust-292bc548c882686f40886934f2055f3440a87eca.zip | |
codegen: do not require the uwtables attribute
The attribute is not emitted on targets without unwinding tables.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions