Re: [ros-dev] gcc problem or not

[Thomas Weidenmueller]

Hartmut Birr wrote:
>   You are right, but I've still assumed that the
> pointer is zero or valid.
>  The real problem is, that gcc doesn't stop to validate an expression if
>  the result is determined and if the expression consist of simple
>  expressions which are combined with OR. 
i tried the following test application with various configurations of 
gcc 4.0 and 3.4.2, but it appears to work correctly.

#include <stdio.h>

int main(int argc, char* argv[])
{
   volatile int *x = NULL;

   if(x == NULL || *x == 0)
   {
      printf("true\n");
   }
   else
   {
      printf("false\n");
   }
   return 0;
}