bors
8e62bfd311
Auto merge of #144678 - jdonszelmann:no-mangle-extern, r=bjorn3
...
Make no_mangle on foreign items explicit instead of implicit
for a followup PR I'm working on I need some foreign items to mangle. I could add a new attribute: `no_no_mangle` or something silly like that but by explicitly putting `no_mangle` in the codegen fn attrs of foreign items we can default it to `no_mangle` and then easily remove it when we don't want it.
I guess you'd know about this r? `@bjorn3.` Shouldn't be too hard to review :)
Builds on rust-lang/rust#144655 which should merge first.
2025-08-12 16:20:24 +00:00
..
2025-07-14 09:25:54 +00:00
2025-07-29 14:17:48 +00:00
2025-08-11 17:05:36 -05:00
2025-07-31 19:58:04 +10:00
2025-08-11 17:05:42 -05:00
2025-08-11 17:05:36 -05:00
2025-08-11 17:05:36 -05:00
2025-08-12 20:37:53 +10:00
2025-08-11 16:19:05 +02:00
2025-08-12 20:37:53 +10:00
2025-08-08 14:22:44 -05:00
2025-08-08 14:22:44 -05:00
2025-08-08 21:59:28 -07:00
2025-08-12 16:20:24 +00:00
2025-08-11 14:45:46 +02:00
2025-07-25 22:24:21 +02:00
2025-07-31 19:58:04 +10:00
2025-08-02 11:29:04 +02:00
2025-06-28 23:36:46 +00:00
2025-08-11 12:21:08 +10:00
2025-08-11 15:01:52 +02:00
2025-08-11 17:02:43 +00:00
2025-06-08 14:50:42 +00:00
2025-08-12 20:37:51 +10:00
2025-08-11 17:05:42 -05:00
2025-08-11 17:05:42 -05:00
2025-08-12 20:37:49 +10:00
2025-07-31 19:58:04 +10:00
2025-07-31 19:58:04 +10:00
2025-08-11 09:18:46 +02:00
2025-08-09 23:27:55 +00:00
2025-07-10 10:25:29 -05:00
2025-08-12 20:37:53 +10:00
2025-08-11 16:00:49 +00:00
2025-08-10 12:22:13 -07:00
2025-06-12 12:11:15 +02:00
2025-07-31 14:19:27 +02:00
2025-08-10 19:15:18 +00:00
2025-08-12 12:07:14 +02:00
2025-08-09 03:19:26 +00:00
2025-08-08 00:20:55 -05:00
2025-08-12 12:07:14 +02:00
2025-08-06 22:21:49 +00:00
2025-08-11 15:51:03 +02:00
2025-08-12 20:37:53 +10:00
2025-07-08 10:16:44 +00:00
2025-08-12 16:20:24 +00:00
2025-08-08 14:22:44 -05:00
2025-08-11 17:05:42 -05:00
2025-07-31 19:58:04 +10:00
2025-08-09 01:35:50 +08:00
2025-07-23 23:54:37 +00:00
2025-07-07 12:58:16 +00:00
2025-07-31 14:19:27 +02:00
2025-08-11 17:05:36 -05:00
2025-08-09 14:22:01 +08:00
2025-07-05 10:55:42 +02:00
2025-08-06 22:38:52 +10:00
2025-08-09 13:58:55 +10:00
2025-08-12 12:07:14 +02:00
2025-08-11 22:29:00 +02:00
2025-08-04 15:03:49 -07:00
2025-08-11 17:05:42 -05:00
2025-08-01 04:06:21 +00:00
2025-07-31 19:58:04 +10:00
2025-08-11 17:05:42 -05:00
2025-08-11 15:51:03 +02:00