On 28/10/20 11:21 -0400, Patrick Palka via Libstdc++ wrote:
On Wed, 28 Oct 2020, Patrick Palka wrote:

The conversion function year_month_weekday::operator sys_days computes
the number of days to offset from the first weekday of the month with:

 days{(index()-1)*7}
      ^~~~~~~~~~~~~  type 'unsigned'

We'd like the above to yield -7d when index() is 0u, but our 'days'
alias is based on long instead of int, so the conversion from unsigned
to long instead yields a large positive quantity.

This patch fixes this by casting the result of index() to int so that
the initializer is sign-extended in the conversion to long.  The added
testcase also verifies that we do the right thing when index() == 5.

Tested on x86_64-pc-linux-gnu, does this look OK for trunk?

libstdc++-v3/ChangeLog:

        PR libstdc++/96713
        * include/std/chrono (year_month_weekday::operator sys_days):
        Cast the result of index() to int so that the initializer for
        days{} is sign-extended when it's converted to the underlying
        type.
        * testsuite/std/time/year_month_weekday/3.cc: New test.
---
 libstdc++-v3/include/std/chrono               |  3 +-
 .../std/time/year_month_weekday/3.cc          | 66 +++++++++++++++++++
 2 files changed, 68 insertions(+), 1 deletion(-)
 create mode 100644 libstdc++-v3/testsuite/std/time/year_month_weekday/3.cc

diff --git a/libstdc++-v3/include/std/chrono b/libstdc++-v3/include/std/chrono
index 7539d7184ea..7c35b78fe59 100644
--- a/libstdc++-v3/include/std/chrono
+++ b/libstdc++-v3/include/std/chrono
@@ -2719,7 +2719,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
       operator sys_days() const noexcept
       {
        auto __d = sys_days{year() / month() / 1};
-       return __d + (weekday() - chrono::weekday(__d) + days{(index()-1)*7});
+       return __d + (weekday() - chrono::weekday(__d)
+                     + days{((int)index()-1)*7});

On second thought, for consistency with the rest of the header, I guess
we should use a functional cast instead of a C-style cast here:

Or static_cast<int>(index()) :-)

Any of those options is OK.

Reply via email to