 Nikolay Lunyak
|
7541732752
|
[FIR] Fix TEST SPEC tests
Ensure the test data contents for both the frontends
are identical. This is needed for proper analysis of
K2-differences.
|
2023-06-19 07:40:15 +00:00 |
|
|
Victor Petukhov
|
42e71f8c53
|
Remove explicit enabling the new type inference from test data
|
2022-07-22 16:03:52 +00:00 |
|
|
Tianyu Geng
|
c7272f6986
|
FIR checker: SENSELESS_(COMPARISON|NULL_IN_WHEN)
Currently DFA does not set "definitely equal to null" for access to variables that got assigned `null`. For example, FIR should mark the following line as SENSELESS_COMPARISON due to `s = null` above.
https://github.com/JetBrains/kotlin/blob/d1531f9cdd5852352c0133198706125dc63b6007/compiler/testData/diagnostics/tests/smartCasts/alwaysNull.fir.kt#L6
The problem is at https://github.com/JetBrains/kotlin/blob/7e9f27436a77de1c76e3705da7aa1fbe8938336b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/FirDataFlowAnalyzer.kt#L1104
For null assignment, ideally the type should be `Nothing?`. This is
addressed in a followup commit instead.
|
2021-08-06 22:57:16 +03:00 |
|
|
Dmitriy Novozhilov
|
2b39282682
|
[FIR] Render original type before smartcasted type in DEBUG_INFO_EXPRESSION_TYPE
This is made for keep consistency with same renderer in FE 1.0
|
2021-02-16 17:51:32 +03:00 |
|
|
anastasiia.spaseeva
|
9d862aaa1d
|
[Spec tests] Remove spec info from fir tests
|
2020-05-26 17:27:06 +03:00 |
|
|
Denis Zharkov
|
0d34299b7a
|
FIR: Adjust testData for spec tests: dfa
|
2020-04-21 09:52:52 +03:00 |
|