Marco Elver
c7ccfc6dfc
Thread Safety Analysis: Support reentrant capabilities ( #137133 ) ...
Introduce the `reentrant_capability` attribute, which may be specified
alongside the `capability(..)` attribute to denote that the defined
capability type is reentrant. Marking a capability as reentrant means
that acquiring the same capability multiple times is safe, and does not
produce warnings on attempted re-acquisition.
The most significant changes required are plumbing to propagate if the
attribute is present to a CapabilityExpr, and introducing
ReentrancyDepth to the LockableFactEntry class.
2025-05-26 17:03:55 +02:00
2025-05-25 11:59:50 +02:00
2025-05-06 11:19:57 +03:00
2025-03-29 20:54:15 +01:00
2025-05-14 18:28:44 +02:00
2024-11-15 15:15:50 -08:00
2024-11-11 08:55:46 +01:00
2024-11-04 11:43:20 +00:00
2025-05-19 21:37:03 -07:00
2025-05-19 21:37:03 -07:00
2025-02-10 15:55:27 +08:00
2025-04-10 20:40:43 +02:00
2025-05-19 01:32:17 -07:00
2024-10-30 16:02:34 -07:00
2025-03-18 10:09:37 -04:00
2025-04-17 16:48:08 +00:00
2024-10-11 17:28:44 -04:00
2024-10-31 09:39:55 -05:00
2025-01-19 16:53:39 +01:00
2025-05-14 18:28:44 +02:00
2025-03-29 20:54:15 +01:00
2025-04-15 11:12:05 -07:00
2025-05-16 07:32:23 -07:00
2025-04-25 14:13:17 +02:00
2024-09-09 21:13:29 +02:00
2024-10-29 08:05:33 +01:00
2024-10-08 09:22:10 -07:00
2025-05-19 21:37:03 -07:00
2025-01-28 16:58:03 +00:00
2025-05-16 07:32:23 -07:00
2025-05-16 07:32:23 -07:00
2024-11-15 15:15:50 -08:00
2025-04-17 13:18:11 -07:00
2025-03-12 06:08:10 +08:00
2024-10-07 11:00:54 -04:00
2024-12-17 02:07:29 +01:00
2024-10-08 09:22:10 -07:00
2025-05-16 07:32:23 -07:00
2025-03-29 20:54:15 +01:00
2025-01-16 09:53:04 +00:00
2025-05-02 10:29:57 +05:30
2025-05-16 07:32:23 -07:00
2025-05-16 07:32:23 -07:00
2025-05-26 17:03:55 +02:00
2024-11-10 15:30:23 +01:00
2025-05-07 05:41:24 -07:00
2024-11-04 16:00:22 -08:00
2024-11-08 13:46:27 +08:00
2025-02-06 16:05:10 -05:00
2025-05-16 07:32:23 -07:00
2025-05-26 17:03:55 +02:00
2024-10-08 09:22:10 -07:00
2025-02-11 08:58:56 -08:00
2025-03-01 13:21:47 -08:00
2025-05-19 21:37:03 -07:00
2024-11-13 10:35:22 +01:00
c7ccfc6dfc
