 Jonas Maebe
|
7e51c5e856
* DFA now takes case-completeness into account (mantis #35598)
|
пре 6 година |
|
Jonas Maebe
|
281b3ad276
* fix case completeness and unreachable code warnings in compiler that would
|
пре 6 година |
 florian
|
34d11046e0
* wrapcomplexinlinepara takes care of function results which need different temp. handling, resolves #34438
|
пре 6 година |
|
florian
|
b1dff29cbf
* removed unused units
|
пре 8 година |
|
florian
|
45807056c5
* factored out SymbolCandidateForWarningOrHint
|
пре 9 година |
 yury
|
b26fa07f1a
* Fixed notes "var is assigned but not used".
|
пре 10 година |
|
florian
|
c0e66deaf2
* handle raise nodes in dfa on jvm, resolves #27416
|
пре 10 година |
|
florian
|
4289dd667d
* managed types cause a different warning/hint when they are
|
пре 10 година |
|
florian
|
c44b5d1043
* take care of tempinitcode when creating def information for tempcreatenodes
|
пре 11 година |
|
florian
|
5aae381d10
* as nodes can appear directly in statements for checking of type conversions
|
пре 11 година |
|
florian
|
6924cc0458
* optimize CheckAndWarn
|
пре 11 година |
|
florian
|
35206c3d93
* make ResetProcessing more efficient
|
пре 11 година |
|
florian
|
99eadb91b3
* run CheckAndWarn to get proper locations for warnings about uninitialized variables
|
пре 11 година |
|
florian
|
92508a9801
* take of life of tlabelnode.left, the test does not test this however because I'am not aware of any example to force a left node for a label
|
пре 11 година |
|
florian
|
424d5cafb2
* cleanup
|
пре 11 година |
|
florian
|
722c59bcb1
* use the correct node in CalcLife
|
пре 11 година |
|
florian
|
2fc4a7fdd7
* better DFA debugging information
|
пре 11 година |
|
florian
|
89f34965e9
* fix dfa of for nodes, loopiteration node introduced to get proper life information for the loop
|
пре 11 година |
|
florian
|
63757c84ad
* fix life information of block nodes
|
пре 11 година |
|
florian
|
1e4737c46d
* fix life information of for nodes
|
пре 11 година |
|
florian
|
31f3bb900c
* fix UpdateLifeInfo if n<>node
|
пре 11 година |
|
florian
|
b3c2a8ddb1
* set always resultnode as last node
|
пре 11 година |
|
florian
|
0a762e416f
* always create a resultnode, also for procedures
|
пре 11 година |
|
florian
|
1fb3c2e0c2
* the successor of the last node is the resultnode if one exists
|
пре 11 година |
|
florian
|
20942d8b45
* fix life information generation of for nodes
|
пре 11 година |
|
florian
|
fa8abf7fcb
* handle constructors correctly during dfa: the result note must point to self
|
пре 11 година |
|
florian
|
709ba5e053
+ introduce cnf_call_never_returns to signal the dfa if a call node never returns
|
пре 12 година |
|
florian
|
5defdf86ba
* handle for-loops correctly if the limits contain the counter variable
|
пре 13 година |
|
florian
|
9955e6b2bf
* dfa fixes by Sergei Gorelkin, resolve #15402
|
пре 15 година |
|
florian
|
a537134603
* set result of ResetDFA, resolves #12757
|
пре 16 година |
