diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2022-10-01 17:01:31 +0000 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2022-10-01 17:01:31 +0000 |
| commit | 62cf644c64b6e9e2f18c6d846a25a5c98c252430 (patch) | |
| tree | deec00224d042276a361d3f0957a363bd9e22071 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | a3cc67c79636e5deab118171b5ba672c3d0a99e1 (diff) | |
| download | rust-62cf644c64b6e9e2f18c6d846a25a5c98c252430.tar.gz rust-62cf644c64b6e9e2f18c6d846a25a5c98c252430.zip | |
Merge apply_attrs_callsite into call and invoke
Some codegen backends are not able to apply callsite attrs after the fact.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions