All of lore.kernel.org
 help / color / mirror / Atom feed
* [bug report] s390/time: steer clocksource on STP sync events
@ 2016-11-16 14:11 Dan Carpenter
  0 siblings, 0 replies; only message in thread
From: Dan Carpenter @ 2016-11-16 14:11 UTC (permalink / raw)
  To: linux-s390

Hello Martin Schwidefsky,

The patch 75c7b6f3f6ba: "s390/time: steer clocksource on STP sync
events" from Oct 11, 2016, leads to the following static checker
warning:

	arch/s390/kernel/time.c:422 clock_sync_global()
	warn: unsigned 'tod_steering_delta' is never less than zero.

arch/s390/kernel/time.c
   402  static void clock_sync_global(unsigned long long delta)
   403  {
   404          unsigned long now, adj;
   405          struct ptff_qto qto;
   406  
   407          /* Fixup the monotonic sched clock. */
   408          sched_clock_base_cc += delta;
   409          /* Adjust TOD steering parameters. */
   410          vdso_data->tb_update_count++;
   411          now = get_tod_clock();
   412          adj = tod_steering_end - now;
   413          if (unlikely((s64) adj >= 0))
   414                  /* Calculate how much of the old adjustment is left. */
   415                  tod_steering_delta = ((s64) tod_steering_delta < 0) ?
   416                          -(adj >> 15) : (adj >> 15);
   417          tod_steering_delta += delta;
   418          if ((abs(tod_steering_delta) >> 48) != 0)
                     ^^^
Pointless on ULL.

   419                  panic("TOD clock sync offset %lli is too large to drift\n",
   420                        tod_steering_delta);
   421          tod_steering_end = now + (abs(tod_steering_delta) << 15);
                                          ^^^^^^^^^^^^^^^^^^^^^^^
   422          vdso_data->ts_dir = (tod_steering_delta < 0) ? 0 : 1;
                                     ^^^^^^^^^^^^^^^^^^^^^^

Maybe just make it s64 and remove the other casting?

   423          vdso_data->ts_end = tod_steering_end;
   424          vdso_data->tb_update_count++;
   425          /* Update LPAR offset. */
   426          if (ptff_query(PTFF_QTO) && ptff(&qto, sizeof(qto), PTFF_QTO) == 0)
   427                  lpar_offset = qto.tod_epoch_difference;
   428          /* Call the TOD clock change notifier. */
   429          atomic_notifier_call_chain(&s390_epoch_delta_notifier, 0, &delta);
   430  }

regards,
dan carpenter

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2016-11-16 14:11 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-11-16 14:11 [bug report] s390/time: steer clocksource on STP sync events Dan Carpenter

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.