Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • early-display
  • variant-emmc-nvme-boot
  • 2023-01-25
  • v3
  • variant-emmc-nvme-boot
  • 2020-06-01
7 results

tools

  • Clone with SSH
  • Clone with HTTPS
  • Forked from Reform / reform-boundary-uboot
    18848 commits behind the upstream repository.
    user avatar
    Thomas Huth authored
    In the "Getting Started with Coccinelle - KVM edition" presentation that
    has been held by Julia Lawall at the KVM forum 2015 (see the slides at
    http://events.linuxfoundation.org/sites/events/files/slides/tutorial_kvm_0.pdf
    
    ),
    she pointed out some bad return value checks in U-Boot that can be
    detected with Coccinelle by using the following config file:
    
    @@
    identifier x,y;
    identifier f;
    statement S;
    @@
    x = f(...);
    (
     if (x < 0) S
    |
     if (
    -     y
    +     x
     < 0) S
    )
    
    This patch now fixes these issues.
    
    Signed-off-by: default avatarThomas Huth <huth@tuxfamily.org>
    310ae37e
    History