search

AdaCore / RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Apache License 2.0
104 stars 6 forks source link

Invalid use of literals in expressions #1194

Closed treiher closed 2 years ago

treiher commented 2 years ago

The invalid use of literals in expressions leads to a bug box.

package Test is

   type T is (X, Y) with Size =>  8;

   type M is
      message
         A : T
            then null
               if X = Y + 1;  --  Invalid
      end message;

end Test;

This issue is related to #686. Both issues can be fixed by detecting invalidly used literals.