Open patrickt opened 13 years ago
The ADT change for this landed in 6ae39dc, but it's still not done yet. The problem is quite tricky. Consider that static int foo(); declares a static function that returns an int, whereas volatile int foo(); declares a function that returns a volatile int.
Adding these correctly shouldn't be too painful, but it'll require some ADT modifications.