Changeset 2434 for etc


Ignore:
Timestamp:
Nov 6, 2012, 4:04:26 PM (7 years ago)
Author:
campbell
Message:

Misc notes.

Location:
etc/campbell/dev-notes
Files:
5 added
1 edited

Legend:

Unmodified
Added
Removed
  • etc/campbell/dev-notes/2012-10-10-pointer-off-the-end.txt

    r2394 r2434  
    2626FrontEndOps.ma.  Or is it?  We've already formed stack frames for the variables,
    2727although we could get into trouble with global variables.
     28
     29[6th Nov:]
     30
     31And another problem that Ilias noticed: when a block is free it is made invalid
     32by changing the bounds to make it impossible to have a valid pointer; but the
     33definition I wrote for the off-the-end pointers in response to the above only
     34checks the pointer w.r.t the upper bound, so fails to spot an invalid block.
     35We're just going to drop these now - the back end doesn't have any specific
     36support for them (and is broken for inter-block comparisons at the moment, too).
Note: See TracChangeset for help on using the changeset viewer.