VWAB: Attribute body is never executed (expanded/detachable)

[Brother Bill]

Full error message is:
Attribute body is never executed because the type of the attribute is self-initializing (i.e. expanded or detachable).

This is a warning, not an error.

The only class that can benefit from an attribute body is a Void-safe class.

For expanded or detachable, a mere warning doesn't seem sufficient.
The source code is ignored.  That should not be standard procedure.

What do the rest of you think about this?

Is there a preference to make this a full blown error?
How to configure that preference?

[Ulrich Windl]

I think assigning to a local variable that is never used afterwards also isn't an error. AFAIR.

22.06.2024 22:56:08 Brother Bill <brother...@gmail.com>:

> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/12bdd7d0-4cda-4a3c-9309-fd1202ce5138n%40googlegroups.com[https://groups.google.com/d/msgid/eiffel-users/12bdd7d0-4cda-4a3c-9309-fd1202ce5138n%40googlegroups.com?utm_medium=email&utm_source=footer].