[libcxx-commits] [PATCH] D143140: [libc++] avoid a GCC -Wsigned-compare warning where time_t is unsigned

Mark de Wever via Phabricator via libcxx-commits libcxx-commits at lists.llvm.org
Sat Feb 18 05:22:54 PST 2023


Mordante added inline comments.


================
Comment at: libcxx/src/condition_variable.cpp:66
     _LIBCPP_CONSTEXPR ts_sec ts_sec_max = numeric_limits<ts_sec>::max();
-    if (s.count() < ts_sec_max)
-    {
-        ts.tv_sec = static_cast<ts_sec>(s.count());
-        ts.tv_nsec = static_cast<decltype(ts.tv_nsec)>((d - s).count());
-    }
-    else
-    {
-        ts.tv_sec = ts_sec_max;
-        ts.tv_nsec = giga::num - 1;
+    if ((unsigned long long)s.count() < ts_sec_max) {
+      ts.tv_sec  = static_cast<ts_sec>(s.count());
----------------
yamt wrote:
> Mordante wrote:
> > This is consistent with the next line.
> my understanding is that s.count() here is long long.
> ts_sec is time_t, which can be narrower. (eg. int)
> 
Good point, `ts_sec`, might indeed be a smaller type. (There is no guarantee count is long long, but it most likely is.)

I still wonder whether this change fixes anything, in glibc `time_t` is signed
https://www.gnu.org/software/libc/manual/html_node/Time-Types.html

Maybe it's safer to cast the result to the common type of these two types, WDYT?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D143140/new/

https://reviews.llvm.org/D143140



More information about the libcxx-commits mailing list