compiler/ kernel/ lib/ scripts/ seed/ sublime/ test/ acceptance/ boot/ bootstrap/ cycles/ dispatch/ loader/ mmio/ native/ packages/ pages/ runtime/ scheduling/ shared/ app.rad 601 B build.rad 6.5 KiB run 636 B support.rad 419 B slots/ smp/ support/ sync/ termination/ tests/ trap/ package-golden 1.6 KiB run 3.1 KiB runner.rad 10.5 KiB vim/ .gitignore 336 B .gitsigners 112 B CONTRIBUTING 2.1 KiB LICENSE 1.1 KiB Makefile 9.2 KiB README 2.5 KiB STYLE 2.5 KiB std.lib 1.5 KiB std.lib.test 662 B
test/shared/support.rad 419 B raw
1 
//! Shared dependency with private writable state.
2 

      

      
      

        3
        
/// Value read by dependent packages.

      

      
      

        4
        
export static value: i32 = 7;

      

      
      

        5
        

      

      
      

        6
        
/// Large private allocation before the final zero-initialized scalar.

      

      
      

        7
        
static padding: [u8; 8192] = [0; 8192];

      

      
      

        8
        
/// Zero-initialized value at a large package offset.

      

      
      

        9
        
static tail: i32 = 0;

      

      
      

        10
        

      

      
      

        11
        
/// Read this domain's value.

      

      
      

        12
        
export fn read() -> i32 {

      

      
      

        13
        
    set padding[8191] = 0;

      

      
      

        14
        
    return value + tail;

      

      
      

        15
        
}