aboutsummaryrefslogtreecommitdiffhomepage
path: root/errortest/mainapp/definedness.slul
AgeCommit message (Expand)AuthorFilesLines
2024-05-13exprchk: Add none-ness check in deref exprsSamuel Lidén Borell1-7/+14
2024-05-12Tests: More tests of none-nessSamuel Lidén Borell1-0/+38
2024-05-12Check none-ness in implicit dereferencingSamuel Lidén Borell1-2/+15
2024-05-12Allow passing not-none values to non-optional refsSamuel Lidén Borell1-2/+0
2024-05-11Update copyright yearsSamuel Lidén Borell1-1/+1
2024-05-11Tracking of variable none-nessSamuel Lidén Borell1-0/+56
2022-08-05Checking of variable definedness after goto. Fix definedness check of if/elseSamuel Lidén Borell1-0/+54
2022-08-04Add missing files from bf3debcfa3b0a44f81eebeef3a72da015bf33ec8Samuel Lidén Borell1-0/+195