rt: Remove CHECK_CLAIMS
This commit is contained in:
parent
f05bf26f85
commit
738cd00f1d
|
@ -67,11 +67,6 @@ command_line_args : public kernel_owned<command_line_args>
|
|||
}
|
||||
};
|
||||
|
||||
// A global that indicates whether Rust typestate claim statements should be
|
||||
// executed Generated code will read this variable directly (I think).
|
||||
// FIXME (#2670): This belongs somewhere else
|
||||
int check_claims = 0;
|
||||
|
||||
void* global_crate_map = NULL;
|
||||
|
||||
/**
|
||||
|
@ -94,9 +89,6 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) {
|
|||
|
||||
update_log_settings(crate_map, env->logspec);
|
||||
|
||||
// Maybe turn on typestate claim checking
|
||||
check_claims = env->check_claims;
|
||||
|
||||
rust_kernel *kernel = new rust_kernel(env);
|
||||
|
||||
// Create the main scheduler and the main task
|
||||
|
|
|
@ -10,7 +10,6 @@
|
|||
#define RUST_MIN_STACK "RUST_MIN_STACK"
|
||||
#define RUST_MAX_STACK "RUST_MAX_STACK"
|
||||
#define RUST_LOG "RUST_LOG"
|
||||
#define CHECK_CLAIMS "CHECK_CLAIMS"
|
||||
#define DETAILED_LEAKS "DETAILED_LEAKS"
|
||||
#define RUST_SEED "RUST_SEED"
|
||||
#define RUST_POISON_ON_FREE "RUST_POISON_ON_FREE"
|
||||
|
@ -114,7 +113,6 @@ load_env(int argc, char **argv) {
|
|||
env->min_stack_size = get_min_stk_size();
|
||||
env->max_stack_size = get_max_stk_size();
|
||||
env->logspec = copyenv(RUST_LOG);
|
||||
env->check_claims = getenv(CHECK_CLAIMS) != NULL;
|
||||
env->detailed_leaks = getenv(DETAILED_LEAKS) != NULL;
|
||||
env->rust_seed = copyenv(RUST_SEED);
|
||||
env->poison_on_free = getenv(RUST_POISON_ON_FREE) != NULL;
|
||||
|
|
|
@ -9,7 +9,6 @@ struct rust_env {
|
|||
size_t min_stack_size;
|
||||
size_t max_stack_size;
|
||||
char* logspec;
|
||||
bool check_claims;
|
||||
bool detailed_leaks;
|
||||
char* rust_seed;
|
||||
bool poison_on_free;
|
||||
|
|
|
@ -69,10 +69,6 @@ extern "C" {
|
|||
#define FASTCALL
|
||||
#endif
|
||||
|
||||
/* Controls whether claims are turned into checks */
|
||||
/* Variable name must be kept consistent with trans.rs */
|
||||
extern "C" int check_claims;
|
||||
|
||||
#define CHECKED(call) \
|
||||
{ \
|
||||
int res = (call); \
|
||||
|
|
Loading…
Reference in New Issue