Skip to content
Snippets Groups Projects
Select Git revision
  • 9a706b026cf59f1549e1748464f3a21c00fd0015
  • master default
  • patch-1
3 results

RTFM.md

Blame
  • Forked from d7018e-special-studies-embedded-systems / are_we_embedded_yet
    Source project has a limited visibility.
    path1.rs 372 B
    #![no_std]
    #![no_main]
    
    #[macro_use]
    extern crate klee;
    
    use core::ptr;
    
    #[inline(never)]
    fn add(a: u32, b: u32) -> u32 {
        a + b
    }
    
    #[no_mangle]
    fn main() {
        let mut a: [u32; 5] = unsafe { core::mem::uninitialized() };
        ksymbol!(&mut a, "a");
    
        for (i, a) in a.iter_mut().enumerate() {
            if *a > 0 {
                *a = a.wrapping_add(1);
            }
        }
    }