vvet: fix for v vet folder/ + new features (track long fns, empty f…
#9780
Annotations
10 warnings and 20 notices
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (debug)
allocation (array initialization)
|
|
Attempt to build the Vinix kernel (prod)
the global variable named `madt` already exists
|
|
Attempt to build the Vinix kernel (prod)
`new_node` is immutable, cannot have a mutable reference to an immutable object
|
|
Attempt to build the Vinix kernel (prod)
`target_res` is immutable, cannot have a mutable reference to an immutable object
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (prod)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
the global variable named `madt` already exists
|
|
Attempt to build the Vinix kernel (debug)
`new_node` is immutable, cannot have a mutable reference to an immutable object
|
|
Attempt to build the Vinix kernel (debug)
`target_res` is immutable, cannot have a mutable reference to an immutable object
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
|
Attempt to build the Vinix kernel (debug)
ambiguous expression. use `()` to ensure correct order of operations
|
Loading