From: Ken Brown <kbrown@cornell.edu>
To: cygwin@cygwin.com
Subject: Re: Bug in collation functions?
Date: Fri, 30 Oct 2015 14:07:00 -0000 [thread overview]
Message-ID: <56329BE8.808@cornell.edu> (raw)
In-Reply-To: <56329462.2090206@cornell.edu>
On 10/29/2015 5:49 PM, Ken Brown wrote:
> On 10/29/2015 2:42 PM, Ken Brown wrote:
>> On 10/29/2015 12:51 PM, Eric Blake wrote:
>>> On 10/29/2015 10:13 AM, Ken Brown wrote:
>>>
>>>> Never mind. My test case was flawed, because it didn't check for the
>>>> possibility that wcscoll might return 0. Here's a revised
>>>> definition of
>>>> the "compare" function:
>>>>
>>>> void
>>>> compare (const wchar_t *a, const wchar_t *b, const char *loc)
>>>> {
>>>> setlocale (LC_COLLATE, loc);
>>>> int res = wcscoll (a, b);
>>>> char c = res < 0 ? '<' : res > 0 ? '>' : '=';
>>>> printf ("\"%ls\" %c \"%ls\" in %s locale\n", a, c, b, loc);
>>>> }
>>>>
>>>> With this change (and the use of NORM_IGNORESYMBOLS) the test returns
>>>> the following on Cygwin:
>>>>
>>>> $ ./wcscoll_test
>>>> "11" > "1.1" in POSIX locale
>>>> "11" = "1.1" in en_US.UTF-8 locale
>>>> "11" > "1 2" in POSIX locale
>>>> "11" < "1 2" in en_US.UTF-8 locale
>>>>
>>>> It still differs from Linux, but it's good enough to make the emacs
>>>> test
>>>> pass. Moreover, this behavior actually seems more reasonable to me
>>>> than
>>>> the Linux behavior. After all, if you're ignoring punctuation, how can
>>>> you decide which of "11" or "1.1" comes first?
>>>
>>> Careful. POSIX is proposing some wording that say that normal locales
>>> should always implement a fallback of last resort (and that locales that
>>> do not do so should have a special name including '@', to make it
>>> obvious). It is not standardized yet, but worth thinking about.
>>>
>>> http://austingroupbugs.net/view.php?id=938
>>> http://austingroupbugs.net/view.php?id=963
>>>
>>> The intent of that wording is that if ignoring punctuation could cause
>>> two strings to otherwise compare equal, the fallback of a total ordering
>>> on all characters means that the final result of strcoll() will not be 0
>>> unless the two strings are identical.
>>
>> In that case, I think Cygwin should start by using NORM_IGNORESYMBOLS in
>> non-POSIX locales, with the goal of eventually moving toward emulating
>> glibc. I don't know what fallback glibc uses or how hard it would be to
>> implement this on Cygwin.
>
> I withdraw this suggestion. I took a look at the glibc code, and I
> don't see any reasonable way for Cygwin to emulate it precisely. On the
> other hand, I have an idea for a simple fallback. I'll play with it a
> little and then submit a patch.
The fallback I had in mind is to return the shorter string if they have
different lengths and otherwise to revert to wcscmp. Using this, both
Cygwin and Linux give the following comparisons:
"11" > "1.1" in POSIX locale
"11" < "1.1" in en_US.UTF-8 locale
"11" > "1 2" in POSIX locale
"11" < "1.2" in en_US.UTF-8 locale
"1 1" < "1.1" in POSIX locale
"1 1" < "1.1" in en_US.UTF-8 locale
If this seems reasonable, I'll test it more extensively and then submit
a patch.
Ken
P.S. In case others want to test this in different locales, here's the
patch so far, just for wcscoll:
diff --git a/winsup/cygwin/nlsfuncs.cc b/winsup/cygwin/nlsfuncs.cc
index f7031f9..c33aa24 100644
--- a/winsup/cygwin/nlsfuncs.cc
+++ b/winsup/cygwin/nlsfuncs.cc
@@ -1156,10 +1156,15 @@ wcscoll (const wchar_t *__restrict ws1, const
wchar_t *__restrict ws2)
if (!collate_lcid)
return wcscmp (ws1, ws2);
- ret = CompareStringW (collate_lcid, 0, ws1, -1, ws2, -1);
+ ret = CompareStringW (collate_lcid, NORM_IGNORESYMBOLS, ws1, -1, ws2,
-1);
if (!ret)
set_errno (EINVAL);
- return ret - CSTR_EQUAL;
+ ret -= CSTR_EQUAL;
+ if (!ret)
+ ret = wcslen (ws1) - wcslen (ws2);
+ if (!ret)
+ ret = wcscmp (ws1, ws2);
+ return ret;
}
extern "C" int
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
next prev parent reply other threads:[~2015-10-29 22:21 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-29 7:41 Ken Brown
2015-10-29 7:50 ` Eric Blake
2015-10-29 12:58 ` Corinna Vinschen
2015-10-29 15:35 ` Corinna Vinschen
2015-10-29 15:51 ` Ken Brown
2015-10-29 16:14 ` Corinna Vinschen
2015-10-29 16:14 ` Ken Brown
2015-10-29 16:51 ` Ken Brown
2015-10-29 18:09 ` Eric Blake
2015-10-29 21:58 ` Ken Brown
2015-10-30 8:05 ` Ken Brown
2015-10-30 14:07 ` Ken Brown [this message]
2015-10-30 19:11 ` Corinna Vinschen
2015-10-30 19:14 ` Ken Brown
2015-10-30 21:13 ` Corinna Vinschen
[not found] ` <5634F6BA.7070301@cornell.edu>
2015-11-02 11:14 ` Corinna Vinschen
2015-10-29 16:17 ` Eric Blake
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=56329BE8.808@cornell.edu \
--to=kbrown@cornell.edu \
--cc=cygwin@cygwin.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).