aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3477.v
Commit message (Expand)AuthorAge
* There are some occurs-check cases that can be handled by imitation (using pru...Gravatar Matthieu Sozeau2014-08-28