[splint-discuss] likelybounds ?

Marco.Giromini at marconiselenia.com Marco.Giromini at marconiselenia.com
Wed Nov 5 12:49:56 EST 2003

I tried the two separate flags with Splint 3.1.1 for linux and I got the
following error message:
.splintrc:285:12: Unrecognized option: +likelyboundsread
.splintrc:285:12: Unrecognized option: +likelyboundswrite
Marco Giromini

Argenton Paolo <Paolo.Argenton at elsag.it>@cs.virginia.edu on 11/05/2003
02:32:28 PM

Please respond to splint-discuss at cs.virginia.edu

Sent by:    splint-discuss-admin at cs.virginia.edu

To:    "'splint-discuss at cs.virginia.edu'" <splint-discuss at cs.virginia.edu>

Subject:    [splint-discuss] likelybounds ?

I was unable to have the likelybounds flag working correctly, while the
bounds flag behaves ok.
In other words likelybounds behaves as if never set, has anybody dealt with
this problem ?
P.S. splint is 3.1.1 win32 version
splint-discuss mailing list
splint-discuss at cs.virginia.edu

More information about the splint-discuss mailing list