View Issue Details

IDProjectCategoryView StatusLast Update
0000829LDMudLPC Languagepublic2014-02-23 22:57
Reportersinnvoll Assigned ToGnomi  
PrioritynormalSeveritytweakReproducibilityalways
Status resolvedResolutionfixed 
Summary0000829: void *
Descriptionvoid * test ();

void * test()
{
}

Shouldn't void * produce an error or warning,
the probability is high, that someone made a typographical error.
TagsNo tags attached.
External Data (URL)

Relationships

related to 0000765 resolvedGnomi LDMud 3.5 Disallow the processing of void values 
related to 0000718 resolvedGnomi LDMud 3.5 Disallow assignments of 'void' values to variables 
related to 0000719 resolvedGnomi LDMud 3.5 Disallow returning values from void functions 
child of 0000721 resolvedGnomi LDMud 3.5 RfC: Extended syntax for declaring arguments and variables holding multiple types 

Activities

Gnomi

2014-01-13 23:06

manager   ~0002216

This will come with 0000721. There I already did prevent such a type.

Gnomi

2014-02-22 23:29

manager   ~0002220

This is fixed in the current master branch. void is syntactically no longer treated as a regular type (it cannot be part of a union type or can be an array), it is just a notion that a function will not return a value.

Issue History

Date Modified Username Field Change
2014-01-09 12:32 sinnvoll New Issue
2014-01-13 23:04 Gnomi Assigned To => Gnomi
2014-01-13 23:04 Gnomi Status new => assigned
2014-01-13 23:05 Gnomi Relationship added child of 0000721
2014-01-13 23:06 Gnomi Note Added: 0002216
2014-02-22 23:29 Gnomi Note Added: 0002220
2014-02-22 23:29 Gnomi Status assigned => resolved
2014-02-22 23:29 Gnomi Resolution open => fixed
2014-02-23 22:56 zesstra Relationship added related to 0000765
2014-02-23 22:56 zesstra Relationship added related to 0000718
2014-02-23 22:57 zesstra Relationship added related to 0000719