diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-08-04 22:58:34 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-10-27 06:16:13 +0100 |
| commit | 6803f19583ea7fefa246427d0ed1edd0e65161bb (patch) | |
| tree | 57acd4026f9d97df4b1ada55cad33943a4026266 /Documentation | |
| parent | cfca7b4c6cb48283cb554fc91dc859ff669f2547 (diff) | |
| download | sparse-dev-6803f19583ea7fefa246427d0ed1edd0e65161bb.tar.gz | |
replace nbr_users() & multi_users() by one_use()
During simplification, we're only interested to know if a pseudo
is used only once or more than once. This can be checked quicker
than getting the exact number of users.
So, replace the last call to nbr_users() and the calls to multi_users()
by a call to one_use() which has a slightly clearer name.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions