Invalid read of size 1

[A.A]

int db_is_fld_empty(char *fld)
{
return (fld && *fld)?0:1;
}

 

[Robert Gamble]

Hello, All!

I assume my post isn't offtopic here.

I used 'valgrind' utility (guess plenty if you know and use it) for my
application and I got the message "Invalid read of size 1" regarding this
pieice of code:

int db_is_fld_empty(char *fld)
{
return ( !strcmp(fld, "") ? 1 : 0 );
}

Seems like it doesn't like rmpty string I compare with or it's something
more serious?

<OT> You are calling this function with a null pointer which then gets
passed to strcmp. It is undefined behavior to pass such a pointer to
strcmp and valgrind caught this. The empty string is okay. </OT>

Robert Gamble

 

[Roman Mashak]

Hello, All!

I assume my post isn't offtopic here.

I used 'valgrind' utility (guess plenty if you know and use it) for my
application and I got the message "Invalid read of size 1" regarding this
pieice of code:

int db_is_fld_empty(char *fld)
{
return ( !strcmp(fld, "") ? 1 : 0 );
}

Seems like it doesn't like rmpty string I compare with or it's something
more serious?

TIA.

With best regards, Roman Mashak. E-mail: (e-mail address removed)

 

[Roman Mashak]

Hello, Robert!
You wrote on 9 Dec 2005 19:39:13 -0800:

??>> this pieice of code: int db_is_fld_empty(char *fld) { return (
??>> !strcmp(fld, "") ? 1 : 0 ); } Seems like it doesn't like rmpty string
??>> I compare with or it's something more serious?

RG> <OT> You are calling this function with a null pointer which then gets
RG> passed to strcmp. It is undefined behavior to pass such a pointer to
RG> strcmp and valgrind caught this. The empty string is okay. </OT>
What is way to bypass this? Is it enough to include checking:

if ( fld != NULL)
return ( !strcmp(fld, "") ? 1 : 0 );
else
return 0;

With best regards, Roman Mashak. E-mail: (e-mail address removed)

 

[Mark McIntyre]

int db_is_fld_empty(char *fld)
{
return ( !strcmp(fld, "") ? 1 : 0 );
}

this is virtually a macro. Bear in mind that all you care about is if
the first character of fld is non null

#define DB_IS_FLD_EMPTY(x) (((x)&&(*x))?0:1)

Seems like it doesn't like rmpty string I compare with or it's something
more serious?

you need to make sure that fld isn't NULL

 

[Mark McIntyre]

I tried to wrap it out in 'if-then' statement, but still get same warnings
from valgrind:

if (fld != NULL)
return ((x && *x) ? 0 : 1);
else
return 0;

Post your EXACT code (the above is not it...) and the error message.
Its possible that valgrind is producing a spurious message.

 

[Roman Mashak]

Hello, Mark!
You wrote on Sat, 10 Dec 2005 11:00:41 +0000:

MM> this is virtually a macro. Bear in mind that all you care about is if
MM> the first character of fld is non null

MM> #define DB_IS_FLD_EMPTY(x) (((x)&&(*x))?0:1)

??>> Seems like it doesn't like rmpty string I compare with or it's
??>> something more serious?

MM> you need to make sure that fld isn't NULL
I tried to wrap it out in 'if-then' statement, but still get same warnings
from valgrind:

if (fld != NULL)
return ((x && *x) ? 0 : 1);
else
return 0;

With best regards, Roman Mashak. E-mail: (e-mail address removed)

 

[Robert Gamble]

Hello, Robert!
You wrote on 9 Dec 2005 19:39:13 -0800:

??>> this pieice of code: int db_is_fld_empty(char *fld) { return (
??>> !strcmp(fld, "") ? 1 : 0 ); } Seems like it doesn't like rmpty string
??>> I compare with or it's something more serious?

RG> <OT> You are calling this function with a null pointer which then gets
RG> passed to strcmp. It is undefined behavior to pass such a pointer to
RG> strcmp and valgrind caught this. The empty string is okay. </OT>
What is way to bypass this? Is it enough to include checking:

if ( fld != NULL)
return ( !strcmp(fld, "") ? 1 : 0 );
else
return 0;

That should do it. Mark and A.A already gave you shorter solutions,
here is another:

#define DB_IS_FLD_EMPTY(p) !((p)&&*(p))

Robert Gamble

 

[Robert Gamble]

this is virtually a macro. Bear in mind that all you care about is if
the first character of fld is non null

#define DB_IS_FLD_EMPTY(x) (((x)&&(*x))?0:1)

This won't work properly with something like this:

DB_IS_FLD_EMPTY("abc"+3);

The indirection operator should be outside of the parenthesis:

#define DB_IS_FLD_EMPTY(x) (((x)&&*(x))?0:1)

Robert Gamble

 

[Mark McIntyre]

The indirection operator should be outside of the parenthesis:

Yeah, I always get that kind of thing wrong. Fortunately IRL my test
cases catch it.