[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6727: [PATCH] sort: omit unnecessary casts
|
From: |
Pádraig Brady |
|
Subject: |
bug#6727: [PATCH] sort: omit unnecessary casts |
|
Date: |
Mon, 26 Jul 2010 10:36:39 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.8) Gecko/20100227 Thunderbird/3.0.3 |
On 26/07/10 04:01, Paul Eggert wrote:
> * src/sort.c (inittables, general_numcompare, compare_nodes):
> (queue_init, queue_pop): Omit casts that are not needed, typically
> because they are between void * and some other pointer type.
Looks good. Closing...