c2yclang:frontendgood first issue
Metriche repository
- Star
- (26.378 star)
- Metriche merge PR
- (Merge medio 1g 2h) (1000 PR mergiate in 30 g)
Descrizione
8e60adcaafbd5b6859f54879496e017dd218e541 implemented part of the paper, but missed "shall not contain a definition of a modifiable object with static or thread storage duration" from the removed text. e.g., we still diagnose this:
inline void f(void) {
static int x; // warning: on-constant static local variable in inline function may be different in different files
}
https://godbolt.org/z/PhK6YvYnP
This should be accepted in C2y mode and claimed as an extension in earlier language modes.