/*
** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
return guardSet_undefined;
}
-guardSet guardSet_addTrueGuard (/*@returned@*/ guardSet g, sRef s)
+guardSet guardSet_addTrueGuard (/*@returned@*/ guardSet g, /*@exposed@*/ sRef s)
{
if (sRef_isMeaningful (s))
{
return g;
}
-guardSet guardSet_addFalseGuard (/*@returned@*/ guardSet g, sRef s)
+guardSet guardSet_addFalseGuard (/*@returned@*/ guardSet g, /*@exposed@*/ sRef s)
{
if (sRef_isMeaningful (s))
{
}
bool
-guardSet_isProbableNull (guardSet g, sRef s)
+guardSet_mustBeNull (guardSet g, sRef s)
{
bool ret;