bors
a9b2c6a0ce
Auto merge of #114005 - Zalathar:no-cstr, r=jackh726
...
coverage: Don't convert filename/symbol strings to `CString` for FFI
LLVM APIs are usually perfectly happy to accept pointer/length strings, as long as we supply a suitable length value when creating a `StringRef` or `std::string`.
This lets us avoid quite a few intermediate `CString` copies during coverage codegen. It also lets us use an `IndexSet<Symbol>` (instead of an `IndexSet<CString>`) when building the deduplicated filename table.
2023-08-10 23:06:10 +00:00
..
2023-07-30 13:18:33 +02:00
2023-08-03 14:50:50 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 19:23:41 +00:00
2023-08-08 18:09:56 -07:00
2023-07-30 13:18:33 +02:00
2023-08-04 13:17:39 +02:00
2023-08-01 12:39:32 -07:00
2023-05-02 10:45:16 -07:00
2023-08-08 03:30:56 +02:00
2023-08-06 07:36:05 -07:00
2023-08-09 23:27:46 +00:00
2023-08-07 05:29:12 +02:00
2023-08-10 23:06:10 +00:00
2023-08-09 00:38:00 +00:00
2023-08-08 22:00:40 +00:00
2023-08-08 10:25:37 +00:00
2023-07-03 07:20:51 +00:00
2023-08-07 19:33:23 +08:00
2023-08-05 11:52:07 +00:00
2023-08-03 14:50:50 +02:00
2023-08-04 18:46:19 +00:00
2023-08-04 18:46:19 +00:00
2023-08-08 18:09:56 -07:00
2023-05-26 10:44:18 +00:00
2023-05-07 00:12:29 +03:00
2023-08-10 02:26:11 +02:00
2023-08-08 19:23:41 +00:00
2023-08-08 19:23:41 +00:00
2023-08-10 20:30:18 +00:00
2023-08-03 14:50:50 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 03:30:56 +02:00
2023-08-07 19:33:23 +08:00
2023-07-29 08:47:21 +08:00
2023-08-06 03:56:09 +02:00
2023-08-04 14:13:11 +00:00
2023-08-10 23:06:10 +00:00
2023-07-30 13:18:33 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 05:10:11 +00:00
2023-08-09 23:00:00 +02:00
2023-08-08 03:30:56 +02:00
2023-08-06 17:26:29 +02:00
2023-08-09 22:59:58 +02:00
2023-08-07 15:54:31 +02:00
2023-08-04 21:31:57 +02:00
2023-07-19 16:37:09 +00:00
2023-08-08 19:23:41 +00:00
2023-08-07 15:54:31 +02:00
2023-08-03 14:50:50 +02:00
2023-08-08 03:30:56 +02:00
2023-08-08 14:48:17 +08:00
2023-07-03 13:51:54 -07:00
2023-08-08 21:44:43 +02:00
2023-08-09 23:00:00 +02:00
2023-08-08 18:09:56 -07:00
2023-08-02 16:52:03 +02:00
2023-08-10 07:54:05 +00:00
2023-08-09 14:04:10 +00:00
2023-07-14 13:27:35 +01:00
2023-07-27 18:24:08 +00:00
2023-08-09 23:00:00 +02:00
2023-08-04 09:18:59 +02:00