Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit a939f141 authored by Martin Geisler's avatar Martin Geisler Committed by Automerger Merge Worker
Browse files

pdl: remove “checksum start precedes checksum field” lint am: fbc2d570 am:... 

pdl: remove “checksum start precedes checksum field” lint am: fbc2d570 am: b80ed6aa am: 02f10400

Original change: https://android-review.googlesource.com/c/platform/packages/modules/Bluetooth/+/2151418



Change-Id: Ibdc53ee0755cadc162fd7e44592c8277bc98f2d5
Signed-off-by: default avatarAutomerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>
parents 6f1e73dd 02f10400

tools/pdl/src/lint.rs

+19 −14
Original line number Diff line number Diff line
@@ -687,20 +687,6 @@ fn lint_checksum( 
                // is checked.

                None => (),

            };

            // Check declaration order of checksum field.

            match field_decl.and_then(|f| f.0.first()) {

                Some(decl) if decl.loc().start > checksum_loc.start => result.push(

                    Diagnostic::error()

                        .with_message("invalid checksum start declaration")

                        .with_labels(vec![

                            checksum_loc

                                .primary()

                                .with_message("checksum start precedes checksum field"),

                            decl.loc().secondary().with_message("checksum field is declared here"),

                        ]),

                ),

                _ => (),

            }

        }

        Some(field) => result.push(

            Diagnostic::error()
@@ -1290,4 +1276,23 @@ mod test { 
        let result = grammar.lint();

        assert!(!result.diagnostics.is_empty());

    }



    #[test]

    fn test_packet_checksum_start() {

        let mut db = SourceDatabase::new();

        let grammar = grammar!(

            &mut db,

            r#"

              little_endian_packets

              checksum Checksum : 8 "Checksum"

              packet P {

                  _checksum_start_(crc),

                  a: 16,

                  crc: Checksum,

              }

            "#

        );

        let result = grammar.lint();

        assert!(dbg!(result.diagnostics).is_empty());

    }

}