Opened 12 years ago

Closed 12 years ago

Last modified 11 years ago

#250 closed defect (fixed)

debug flag to list exported bindings to which no-procedure-checks-for-toplevel-bindings was applied

Reported by: felix winkelmann Owned by: felix winkelmann
Priority: critical Milestone:
Component: compiler Version: 4.5.0
Keywords: procedure check Cc:
Estimated difficulty:

Description

This can be used to locate externally visible toplevel bindings for which no checks are generated.

The reason for this is that lately all runtime libraries are compiled with this declaration, which might have been a mistake: assigning a non-procedure value to such an exported bindings will result in a crash when called inside the runtime system. Bad. The declaration will have to be disabled and explicit bound-to-procedure declarations for calls to internal (##sys#...) bindings.

It is perhaps be an option to perform the procedure check generally inline.

Change History (3)

comment:1 Changed 12 years ago by felix winkelmann

Priority: majorcritical

comment:2 Changed 12 years ago by felix winkelmann

Resolution: fixed
Status: newclosed

Slightly improved the situation (and add notices for visible assigned globals declared unsafe) in 1e78858365295e0807646eff12edba9634ccbc1f (exp.).

comment:3 Changed 11 years ago by felix winkelmann

Milestone: 4.6.0

Milestone 4.6.0 deleted

Note: See TracTickets for help on using tickets.