kern/68081: [headers] [patch] sys/time.h (lint fix)

John Baldwin jhb at FreeBSD.org
Mon Jul 28 21:50:10 UTC 2008


The following reply was made to PR kern/68081; it has been noted by GNATS.

From: John Baldwin <jhb at FreeBSD.org>
To: bug-followup at FreeBSD.org, cyrille.lefevre at laposte.net
Cc:  
Subject: Re: kern/68081: [headers] [patch] sys/time.h (lint fix)
Date: Mon, 28 Jul 2008 17:27:38 -0400

 You have to use 'lint -a' in which case you get 2 of the warnings:
 
 > lint -a stupid.c
 stupid.c:
 time.h(112): warning: conversion from 'unsigned long long' may lose accuracy 
 [132]
 time.h(129): warning: conversion from 'unsigned long long' may lose accuracy 
 [132]
 _types.h(60): warning: struct __timer never defined [233]
 _types.h(61): warning: struct __mq never defined [233]
 ...
 
 However, I'm not sure it is worth adding casts to appease optional behavior of 
 lint when there is no actual bug.   (The number of micro-seconds in a partial 
 second is always going to fit into a 32-bit value.)
 
 -- 
 John Baldwin


More information about the freebsd-bugs mailing list