git @ Cat's Eye Technologies SixtyPical / 547b7c9
Restore the debugging (which should be rethought, anyway). Chris Pressey 3 years ago
1 changed file(s) with 6 addition(s) and 6 deletion(s). Raw diff Collapse all Expand all
410410
411411 self.analyze_block(routine.block, context)
412412
413 trashed = set(context.each_touched()) - set(context.each_meaningful())
414
413415 if self.debug:
414416 print("at end of routine `{}`:".format(routine.name))
415417 print(context)
416 #print("trashed: ", LocationRef.format_set(trashed))
418 print("trashed: ", LocationRef.format_set(trashed))
417419 print("outputs: ", LocationRef.format_set(type_.outputs))
418 #trashed_outputs = type_.outputs & trashed
419 #if trashed_outputs:
420 # print("TRASHED OUTPUTS: ", LocationRef.format_set(trashed_outputs))
420 trashed_outputs = type_.outputs & trashed
421 if trashed_outputs:
422 print("TRASHED OUTPUTS: ", LocationRef.format_set(trashed_outputs))
421423 print('')
422424 print('-' * 79)
423425 print('')
436438 if set(ex.each_writeable()) != exit_writeable:
437439 raise InconsistentExitError("Exit contexts are not consistent")
438440 context.update_from(exit_context)
439
440 trashed = set(context.each_touched()) - set(context.each_meaningful())
441441
442442 # these all apply whether we encountered goto(s) in this routine, or not...:
443443