From owner-freebsd-bugs@FreeBSD.ORG  Mon Jul 28 21:50:10 2008
Return-Path: <owner-freebsd-bugs@FreeBSD.ORG>
Delivered-To: freebsd-bugs@hub.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 491AF106564A
	for <freebsd-bugs@hub.freebsd.org>;
	Mon, 28 Jul 2008 21:50:10 +0000 (UTC)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (freefall.freebsd.org
	[IPv6:2001:4f8:fff6::28])
	by mx1.freebsd.org (Postfix) with ESMTP id 2D5CD8FC15
	for <freebsd-bugs@hub.freebsd.org>;
	Mon, 28 Jul 2008 21:50:10 +0000 (UTC)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1])
	by freefall.freebsd.org (8.14.2/8.14.2) with ESMTP id m6SLoAwP041732
	for <freebsd-bugs@freefall.freebsd.org>; Mon, 28 Jul 2008 21:50:10 GMT
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.14.2/8.14.1/Submit) id m6SLoApK041731;
	Mon, 28 Jul 2008 21:50:10 GMT (envelope-from gnats)
Date: Mon, 28 Jul 2008 21:50:10 GMT
Message-Id: <200807282150.m6SLoApK041731@freefall.freebsd.org>
To: freebsd-bugs@FreeBSD.org
From: John Baldwin <jhb@FreeBSD.org>
Cc: 
Subject: Re: kern/68081: [headers] [patch] sys/time.h (lint fix)
X-BeenThere: freebsd-bugs@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: John Baldwin <jhb@FreeBSD.org>
List-Id: Bug reports <freebsd-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-bugs>,
	<mailto:freebsd-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-bugs>
List-Post: <mailto:freebsd-bugs@freebsd.org>
List-Help: <mailto:freebsd-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-bugs>,
	<mailto:freebsd-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 28 Jul 2008 21:50:10 -0000

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

From: John Baldwin <jhb@FreeBSD.org>
To: bug-followup@FreeBSD.org, cyrille.lefevre@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