Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <kst-u@mib.org>
Newsgroups: comp.lang.c
Subject: Re: Auto-execute code at exit?
Date: Mon, 18 Dec 2017 09:13:00 -0800
Organization: None to speak of
Lines: 34
Message-ID: <lnlgi0klib.fsf@kst-u.example.com>
References: <016d6ddd-a7f6-498f-9fa0-244a5879bb9f@googlegroups.com> <_QaYB.132221$sg1.100336@fx43.am4> <p0rijl$km7$1@dont-email.me> <I9fYB.285055$XT.131418@fx37.am4> <p0s1pi$92p$1@dont-email.me> <m6iYB.2$Og3.1@fx11.am4> <p0t6kv$pjf$1@dont-email.me> <87po7hre73.fsf@gmail.com> <da0c4b88-0314-4e30-a12e-03d4dd7e4a59@googlegroups.com> <%gEYB.365$uW7.71@fx07.am4> <bedd8737-2a06-43a1-a0a8-f85eedaeea1b@googlegroups.com> <L3PYB.240$uS5.214@fx45.am4> <87k1xn51q9.fsf@bsb.me.uk> <i0WYB.33284$yV6.20263@fx01.am4> <878te34lzi.fsf@bsb.me.uk> <xK_YB.16043$ba4.2753@fx24.am4> <p16690$dcq$1@dont-email.me> <eqBZB.53127$9X4.4303@fx02.am4> <ln6095lztd.fsf@kst-u.example.com> <y6OZB.41918$bH7.30992@fx38.am4> <87bmiwyrls.fsf@bsb.me.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: reader02.eternal-september.org; posting-host="163ed92b6be4f08dc3d4d295197acf21"; logging-data="10406"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18UAfAsL5oMWKDx18QoyZCQ"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:ugABqT2qgKwgu8f4FqrYwQNDL+g= sha1:SuSWUpI+lW2SUL+/WdpD2CMXHqc=
Xref: csiph.com comp.lang.c:124461

Ben Bacarisse <ben.usenet@bsb.me.uk> writes:
> bartc <bc@freeuk.com> writes:
[...]
>> If I look at MSVC's windows headers, then in windef.h line 283, there is:
>>
>>  typedef int (FAR WINAPI *FARPROC)();
>
> This is not an example of kind of the code in question.  Function
> pointers are often declared in some generic way either because they can
> not be type-checked (due to some non-portable system trick being used)
> or they are later cast at the point of call.

I'm reasonably sure that form of function pointer declaration is also
obsolescent.  N1570 6.11.6 says:

    The use of function declarators with empty parentheses (not
    prototype-format parameter type declarators) is an obsolescent
    feature.

A non-obsolescent version might be:

    typedef int (FAR WINAPI *FARPROC)(void);

(assuming that FAR and WINAPI expand to something reasonable).

This would allow calls with casts, but would trigger a mandatory
diagnostic for a call with arguments via such a pointer (which is the
whole point of prototypes).

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Working, but not speaking, for JetHead Development, Inc.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"