jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dfa.nim: clarify exception handling

Browse source
This commit is contained in:
Andreas Rumpf 2018-10-13 08:28:56 +02:00
commit 33cdae8c32
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/dfa.nim
View file

@ -21,7 +21,10 @@
## Contrary to popular belief, exception handling doesn't cause ## Contrary to popular belief, exception handling doesn't cause
## many problems for this DFA representation, ``raise`` is a statement ## many problems for this DFA representation, ``raise`` is a statement
## that ``goes to`` the outer ``finally`` or ``except`` if there is one, ## that ``goes to`` the outer ``finally`` or ``except`` if there is one,
## otherwise it is the same as ``return``. ## otherwise it is the same as ``return``. Every call is treated as
## a call that can potentially ``raise``. However, without a surrounding
## ``try`` we don't emit these ``fork ReturnLabel`` instructions in order
## to speed up the dataflow analysis passes.
## ##
## The data structures and algorithms used here are inspired by ## The data structures and algorithms used here are inspired by
## "A Graph–Free Approach to Data–Flow Analysis" by Markus Mohnen. ## "A Graph–Free Approach to Data–Flow Analysis" by Markus Mohnen.