Tamas Vajk
|
749d606f84
|
Fix expected file of useless null check test
|
2022-05-10 19:51:30 +01:00 |
|
Ian Lynagh
|
b35b74779a
|
Revert "Fix CFG construction of ExprStmt and StmtExpr"
This reverts commit db8d718cdbf0bef9cdf246221a921b99d4b22bea.
It broke ql/java/ql/test/library-tests/successors/TestDeclarations
|
2022-05-10 19:51:28 +01:00 |
|
Tamas Vajk
|
8282e57db5
|
Fix CFG construction of ExprStmt and StmtExpr
|
2022-05-10 19:51:28 +01:00 |
|
Tamas Vajk
|
81cb81366b
|
Add test case for CFG issue with && in if condition
|
2022-05-10 19:51:28 +01:00 |
|
Tamas Vajk
|
47799ae040
|
Code quality improvements + add dedicated DeadRefTypes test
|
2022-05-10 19:51:28 +01:00 |
|
Tamas Vajk
|
505ccbbcf6
|
Extract override modifier
|
2022-05-10 19:51:28 +01:00 |
|
Tamas Vajk
|
92de139805
|
Add override tests
|
2022-05-10 19:51:27 +01:00 |
|