Ticket #44750

generate_packets.py: erroneous output when some (but not all) variants of a packet have no fields

Date d'ouverture: 2022-06-04 06:12 Dernière mise à jour: 2022-06-08 20:21

Rapporteur:
Propriétaire:
Type:
État:
Atteints
Composant:
Jalon:
Priorité:
5 - moyen
Sévérité:
5 - moyen
Résolution:
Fixed
Fichier:
1

Détails

Packets with no fields are handled differently from packets with fields. Some code in generate_packets.py only looks at a variant's fields to determine whether this is the case, so if a packet has fields, but one of its variants does not, that causes problems. This happens when all fields of a packet are add-cap or remove-cap, and no capability is used for both.

As far as I can tell, if this ever occurs in practice, the resulting code will not compile, so it won't result in sneaky issues that remain undetected and actually get committed.

Ticket History (3/5 Histories)

2022-06-04 06:12 Updated by: alienvalkyrie
  • New Ticket "generate_packets.py: erroneous output when some (but not all) variants of a packet have no fields" created
2022-06-04 07:04 Updated by: alienvalkyrie
  • Details Updated
Commentaire

The simple-seeming solution (doing stuff based on Packet.no_packet rather than Variant.fields) unfortunately leads to code that still doesn't compile (in debug mode at least) – the lack of a __dummy field means nothing is written to the packet struct in the receive handler, which gives "potentially uninitialized" warnings, and the send handler ends up with unused variables.

Since this turned out to be more complex than anticipated, while not a pressing concern at all, I'll put this on the back burner. I'm considering just treating this edge case as unsupported; it seems quite unlikely that an empty variant of a packet that usually carries information would be intended anyhow.

2022-06-07 05:03 Updated by: alienvalkyrie
  • Propriétaire Update from (Aucun) to alienvalkyrie
  • Résolution Update from Aucun to Accepted
Commentaire

I've gone with the option of explicitly unsupporting this edge case, since again – if it ever actually happens in practice, that's almost certainly an accident.

2022-06-08 20:21 Updated by: alienvalkyrie
  • État Update from Ouvert to Atteints
  • Résolution Update from Accepted to Fixed
  • Jalon Update from (Aucun) to 3.2.0

Modifier

Please login to add comment to this ticket » Connexion