Date: Mon, 28 Jul 2008 21:50:10 GMT From: John Baldwin <jhb@FreeBSD.org> To: freebsd-bugs@FreeBSD.org Subject: Re: kern/68081: [headers] [patch] sys/time.h (lint fix) Message-ID: <200807282150.m6SLoApK041731@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200807282150.m6SLoApK041731>