swtv-kaist / MUSIC

MUSIC: MUtation analySIs tool with High Configurability and Extensibility
Other
17 stars 6 forks source link

`indvarincdec` mutation on return expression could result in an uncompilable mutant #5

Open JonathanFoo0523 opened 2 months ago

JonathanFoo0523 commented 2 months ago

MUSIC allows mutation of

return 0

to

return (++0);

which results in compilation error

error: expression is not assignable

This is explicitly allowed by the mutation operator here.

Why do we allow the mutation of integer literals in return statements, as I believe it will always result in a compilation error?