Why use 'function address == NULL' instead of 'false'?

Question

Browsing among some legacy code I've found such function:

static inline bool EmptyFunc()
{
    return (void*) EmptyFunc == NULL;
}

What are the differences from this one:

static inline bool EmptyFunc()
{
    return false;
}

This code was created to compile under several different platforms, like PS2, Wii, PC... Are there any reason to use the first function? Like better optimization or avoiding some strange compiler misbehavior?

I'm thinking it's because if you just returned false, the compiler would be free to optimize away that function... but then anywhere that actually used it should prevent the same optimization. Hmm. Where is EmptyFunc used? Also, why the cast to void*? That doesn't make sense for function pointers... — Cameron
– Cameron, Commented Apr 25, 2013 at 6:25
Just a guess but it looks like they are trying to force the compiler to generate a non-inlined version of the function. This can happen when you take a pointer to a function. — Captain Obvlious
– Captain Obvlious, Commented Apr 25, 2013 at 6:29
EmptyFunc was used as a callback in user input registering procedure, which would go through each registered callback and mark corresponding event as triggered when given callback returns true. — Vytis Valentinavičius
– Vytis Valentinavičius, Commented Apr 25, 2013 at 6:30
@CaptainObvlious, there is nothing in the first one that would actually prevent a compiler from optimizing away the function when called. Perhaps there are some compilers which don't, but there's nothing fundamental there blocking it. — edA-qa mort-ora-y
– edA-qa mort-ora-y, Commented Apr 25, 2013 at 6:37

edA-qa mort-ora-y · Accepted Answer · 2013-04-25 06:44:55Z

10

Semantically both functions are the same: they always return false*. Folding the first expression to a constant value "false" is completely allowed by the standard since it would not change any observable side-effects (of which there are none). Since the compiler sees the entire function it also free to optimize away any calls to it and replace it with a constant "false" value.

That is, there is no "general" value in the first form and is likely a mistake on the part of the programmer. The only possibility is that it exploits some special behaviour (or defect) in a specific compiler/version. To what end I don't know however. If you wish to prevent inlining using a compiler-specific attribute would be the correct approach -- anything else is prone to breaking should the compiler change.

(*This assumes that NULL is never defined to be EmptyFunc, which would result in true being returned.).

answered Apr 25, 2013 at 6:44

edA-qa mort-ora-y

32.3k43 gold badges154 silver badges281 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

syam Over a year ago

+1 This is also my feeling that it is to work around a compiler problem (I've seen worse workarounds for buggy compilers, but at least the code was documented, unlike here!).

Lundin · Accepted Answer · 2013-04-25 07:36:58Z

Strictly speaking, a function pointer may not be cast to a void pointer, what happens then is outside the scope of the standard. The C11 standard lists it as a "common extension" in J.5.7 (I suspect that the same applies in C++). So the only difference between the two cases in that the former is non-portable.

It would seem that the most likely cause of the former version is either a confused programmer or a confused compiler. We can tell for certain that the programmer was confused/sloppy by the lack of an explaining comment.

It doesn't really make much sense to declare a function as inline and then try to trick the compiler into not inlining the code by including the function address in the code. So I think we can rule out that theory, unless of course the programmer was confused and thought it made sense.

Collectives™ on Stack Overflow

Why use 'function address == NULL' instead of 'false'?

2 Answers 2

1 Comment

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

1 Comment

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related