bors
a8939e5eae
Auto merge of #111717 - Urgau:uplift_fn_null_check, r=oli-obk
...
Uplift `clippy::fn_null_check` lint
This PR aims at uplifting the `clippy::fn_null_check` lint into rustc.
## `incorrect_fn_null_checks`
(warn-by-default)
The `incorrect_fn_null_checks` lint checks for expression that checks if a function pointer is null.
### Example
```rust
let fn_ptr: fn() = /* somehow obtained nullable function pointer */
if (fn_ptr as *const ()).is_null() { /* ... */ }
```
### Explanation
Function pointers are assumed to be non-null, checking for their nullity is incorrect.
-----
Mostly followed the instructions for uplifting a clippy lint described here: https://github.com/rust-lang/rust/pull/99696#pullrequestreview-1134072751
`@rustbot` label: +I-lang-nominated
r? compiler
2023-07-11 09:34:48 +00:00
..
2022-10-06 09:44:38 +02:00
2023-07-02 14:59:02 +02:00
2023-05-05 17:45:49 +02:00
2023-07-05 20:27:07 +01:00
2023-07-02 14:59:02 +02:00
2023-07-05 20:27:07 +01:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-07-05 20:27:07 +01:00
2023-05-05 17:45:49 +02:00
2023-03-24 14:26:19 +01:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-03-10 10:53:50 +01:00
2022-12-01 18:29:38 +01:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2022-10-06 09:44:38 +02:00
2023-05-20 15:39:26 +02:00
2022-10-06 09:44:38 +02:00
2022-09-09 13:36:26 +02:00
2023-07-02 14:59:02 +02:00
2022-11-21 20:51:52 +01:00
2022-10-06 09:44:38 +02:00
2023-07-05 20:27:07 +01:00
2022-11-21 20:51:52 +01:00
2023-07-02 14:59:02 +02:00
2023-05-20 15:39:26 +02:00
2023-05-20 15:39:26 +02:00
2022-12-01 18:29:38 +01:00
2023-03-21 15:38:51 +00:00
2022-12-01 18:29:38 +01:00
2023-06-02 11:41:57 +02:00
2022-10-23 15:18:45 +02:00
2023-05-05 17:45:49 +02:00
2023-02-16 17:05:56 -07:00
2023-04-23 13:28:56 +02:00
2022-08-11 19:42:16 +02:00
2023-05-20 15:39:26 +02:00
2023-07-10 18:12:41 +02:00
2023-07-02 14:59:02 +02:00
2023-03-10 10:53:50 +01:00
2023-07-02 14:59:02 +02:00
2023-04-21 22:27:20 +00:00
2023-03-24 14:26:19 +01:00
2022-06-30 10:50:09 +02:00
2023-07-02 14:59:02 +02:00
2023-07-07 18:17:16 +02:00
2023-07-02 14:59:02 +02:00
2022-12-17 14:12:54 +01:00
2022-11-21 20:51:52 +01:00
2022-08-11 19:42:16 +02:00
2023-04-11 15:31:08 +02:00
2022-12-01 18:51:05 +03:00
2023-07-02 14:59:02 +02:00
2022-11-17 13:45:59 +11:00
2023-07-02 14:59:02 +02:00
2022-08-31 09:24:45 -04:00
2022-06-04 13:34:07 +02:00
2022-07-18 09:39:37 +02:00
2023-02-16 17:05:56 -07:00
2023-01-12 19:48:13 +01:00
2023-07-02 14:59:02 +02:00
2023-04-23 13:28:56 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2022-11-21 20:51:52 +01:00
2023-05-05 17:45:49 +02:00
2023-07-02 14:59:02 +02:00
2023-02-10 14:01:19 +01:00
2023-07-02 14:59:02 +02:00
2023-01-28 09:51:50 +00:00
2023-03-10 10:53:50 +01:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2023-01-14 00:29:56 -07:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-04-11 15:31:08 +02:00
2023-04-23 13:28:56 +02:00
2023-07-02 14:59:02 +02:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-01-27 21:09:08 +01:00
2022-11-18 06:16:20 +00:00
2023-06-22 18:34:23 +00:00
2022-09-05 22:25:57 +09:00
2021-12-06 12:33:31 +01:00
2023-03-24 14:26:19 +01:00
2022-11-21 20:51:52 +01:00
2023-01-28 09:51:50 +00:00
2023-05-20 15:39:26 +02:00
2023-05-05 17:45:49 +02:00
2023-02-25 19:28:50 -05:00
2023-07-07 18:19:08 +00:00
2023-05-20 15:39:26 +02:00
2023-05-20 15:39:26 +02:00
2023-03-14 17:18:26 +00:00
2023-02-16 17:05:56 -07:00
2023-01-28 09:51:50 +00:00
2022-05-05 15:12:52 +01:00
2022-10-06 09:44:38 +02:00
2023-03-10 10:53:50 +01:00
2022-11-21 20:51:52 +01:00
2022-11-21 20:51:52 +01:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2023-02-10 14:01:19 +01:00
2023-02-15 08:56:18 +00:00
2023-02-16 17:05:56 -07:00
2023-06-02 11:41:57 +02:00
2022-12-02 10:38:58 +11:00
2023-06-02 11:41:57 +02:00
2023-07-02 14:59:02 +02:00
2023-05-05 17:45:49 +02:00
2022-10-27 18:41:26 +04:00
2023-05-20 15:39:26 +02:00
2023-07-02 14:59:02 +02:00
2021-10-07 11:21:30 +02:00
2023-07-10 18:12:41 +02:00
2023-07-02 14:59:02 +02:00
2023-05-20 15:39:26 +02:00
2023-02-25 19:28:50 -05:00
2023-07-02 14:59:02 +02:00
2022-05-21 13:24:00 +02:00
2023-05-05 17:45:49 +02:00
2023-03-24 14:26:19 +01:00
2023-04-23 13:28:56 +02:00
2023-03-24 14:26:19 +01:00
2023-03-10 10:53:50 +01:00
2023-07-02 14:59:02 +02:00
2023-03-24 14:26:19 +01:00
2023-03-02 23:46:44 +04:00
2023-07-02 14:59:02 +02:00
2023-03-10 10:53:50 +01:00
2023-05-05 17:45:49 +02:00
2023-04-23 13:28:56 +02:00
2022-11-18 06:16:20 +00:00
2023-05-20 15:39:26 +02:00
2023-01-26 20:28:25 -07:00
2023-03-10 10:53:50 +01:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-05-20 15:39:26 +02:00
2023-07-02 14:59:02 +02:00
2023-06-02 11:41:57 +02:00
2023-05-29 09:23:43 +10:00
2023-03-10 10:53:50 +01:00
2022-12-01 18:51:05 +03:00
2023-07-02 14:59:02 +02:00
2023-06-01 06:14:06 +00:00
2023-05-05 17:45:49 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2022-08-31 09:24:45 -04:00
2023-05-28 10:44:53 -06:00
2023-03-24 14:26:19 +01:00
2022-12-28 18:52:36 +01:00
2023-02-16 17:05:56 -07:00
2022-10-06 09:44:38 +02:00
2023-04-23 13:28:56 +02:00
2022-12-28 18:52:36 +01:00
2023-05-20 15:39:26 +02:00
2022-11-21 20:51:52 +01:00
2022-11-21 20:51:52 +01:00
2023-06-02 11:41:57 +02:00
2022-10-23 15:18:45 +02:00
2023-07-02 14:59:02 +02:00
2022-12-29 14:28:34 +01:00
2023-05-05 17:45:49 +02:00
2023-07-05 20:27:07 +01:00
2023-03-02 23:46:44 +04:00
2022-06-16 17:39:06 +02:00
2022-11-21 20:39:29 +00:00
2023-05-05 17:45:49 +02:00
2023-02-16 17:05:56 -07:00
2023-07-02 14:59:02 +02:00
2023-03-24 14:26:19 +01:00
2023-07-02 14:59:02 +02:00
2022-10-06 09:44:38 +02:00
2023-03-10 10:53:50 +01:00
2023-05-03 08:44:39 +10:00
2023-06-02 11:41:57 +02:00
2023-04-23 13:28:56 +02:00
2023-01-27 21:09:08 +01:00
2022-11-17 13:45:59 +11:00
2023-07-02 14:59:02 +02:00
2021-12-06 12:33:31 +01:00
2023-01-28 09:51:50 +00:00
2022-04-08 10:06:10 +01:00
2022-10-23 15:18:45 +02:00
2023-03-21 15:38:51 +00:00
2022-11-21 20:51:52 +01:00
2023-07-07 18:17:16 +02:00
2023-01-28 09:51:50 +00:00
2023-03-10 10:53:50 +01:00
2022-11-17 13:45:59 +11:00
2022-11-21 20:51:52 +01:00
2023-07-05 20:27:07 +01:00
2022-05-05 15:12:52 +01:00
2023-04-23 13:28:56 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2022-08-31 09:24:45 -04:00
2022-10-06 09:44:38 +02:00
2023-06-02 11:41:57 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2022-01-23 19:31:32 +08:00
2022-12-01 18:29:38 +01:00
2022-12-17 14:12:54 +01:00
2023-07-05 20:27:07 +01:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2023-03-28 01:14:28 +00:00
2023-05-20 15:39:26 +02:00
2022-06-16 17:39:06 +02:00
2023-06-02 11:41:57 +02:00
2023-07-10 18:12:41 +02:00
2023-02-10 14:01:19 +01:00
2023-07-02 14:59:02 +02:00
2023-02-14 19:55:44 +00:00
2023-02-16 17:05:56 -07:00
2023-05-05 17:45:49 +02:00
2023-03-24 14:26:19 +01:00
2022-04-30 13:51:49 +02:00
2023-05-05 17:45:49 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2022-06-16 17:39:06 +02:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2022-09-05 22:25:57 +09:00
2023-03-10 10:53:50 +01:00
2023-05-05 17:45:49 +02:00
2023-03-02 23:46:44 +04:00
2023-06-02 11:41:57 +02:00
2023-05-02 10:32:07 +00:00
2023-04-11 15:31:08 +02:00
2023-04-27 17:18:12 +00:00
2022-10-29 16:04:10 -05:00
2023-01-27 21:09:08 +01:00
2022-10-06 09:44:38 +02:00
2023-03-24 14:26:19 +01:00
2022-05-21 13:24:00 +02:00
2021-12-06 12:33:31 +01:00
2023-04-11 15:31:08 +02:00
2022-10-06 09:44:38 +02:00
2023-05-05 17:45:49 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-05-05 17:45:49 +02:00
2022-10-06 09:44:38 +02:00
2023-06-26 23:12:03 +00:00
2023-04-26 15:27:32 +00:00
2023-05-05 17:45:49 +02:00
2023-02-26 09:15:54 +00:00
2022-12-01 18:51:20 +03:00
2023-04-11 15:31:08 +02:00
2023-05-29 09:23:43 +10:00
2023-02-25 19:28:50 -05:00
2022-12-01 18:51:20 +03:00
2023-07-02 14:59:02 +02:00
2023-02-10 14:01:19 +01:00
2022-11-21 20:51:52 +01:00
2022-12-01 18:29:38 +01:00
2023-01-12 19:48:13 +01:00
2022-11-21 20:51:52 +01:00
2023-01-28 09:51:50 +00:00
2023-01-28 09:51:50 +00:00
2023-07-02 14:59:02 +02:00
2023-04-11 15:31:08 +02:00
2023-07-02 14:59:02 +02:00
2022-09-09 13:36:26 +02:00
2023-07-02 14:59:02 +02:00
2023-07-02 14:59:02 +02:00
2023-06-08 01:05:38 -04:00
2023-04-23 13:28:56 +02:00
2022-10-06 09:44:38 +02:00
2023-02-22 17:04:58 +00:00