 Denis Zharkov
|
edbf360852
|
Do not render trivial variables in DataFlow tests
The reason is that while there are optimizations for them
definition of their state is both rather simple and may be
confusing in testData
|
2017-10-02 10:04:16 +03:00 |
|
|
Denis Zharkov
|
477aeef90c
|
Update test data for rendered CFA results after optimizations
|
2017-10-02 10:04:16 +03:00 |
|
|
Svetlana Isakova
|
976d5ab030
|
Pseudocode: don't write full label name when jump on it
|
2014-09-07 01:04:00 +04:00 |
|
|
Svetlana Isakova
|
3d7c22f242
|
Added exact label names for labels
|
2014-09-05 18:31:53 +04:00 |
|
|
Alexey Sedunov
|
77bbf8f73b
|
Pseudocode: Generate fake values for Unit/Nothing-typed expressions
|
2014-07-28 13:07:29 +04:00 |
|
|
Alexey Sedunov
|
d2c055e9da
|
Pseudocode: Introduce pseudo-value analysis
|
2014-06-03 18:17:05 +04:00 |
|
|
Svetlana Isakova
|
35c6a656c9
|
Store only data for variables declared in current lexical scope.
Remove data for other variables (when leaving a scope).
|
2014-03-07 21:08:17 +04:00 |
|
|
Svetlana Isakova
|
006f3ccbe9
|
Added/updated tests for LexicalScope.
|
2014-03-07 21:08:16 +04:00 |
|