Could staticassert handle non-constant values in the future?

In the future, could staticassert be used as a static analysis utility to check the correctness of code, including non-constant values?

As a simple example, the code

int x = 10;
staticassert(x > 5);

would compile without error, because at that point, 'x' is indeed greater than 5.

This could be expanded to "trace back" values to determine if they are programmatically guaranteed to meet some condition. In the examples below, func1 and func2 will compile without error, but func3 will create a compiler error because there's no guarantee that 's' is not NULL.

void stringStuff(const char* s){
staticassert(s);
// ...etc...
}

void func1(){ // Good
char s10;
stringStuff(s);
}

void func3(){ // Good
char s = malloc(100);
if(s){
stringStuff(s);
}
}

void func2(){ // Compiler Error
char s = malloc(100);
stringStuff(s);
}

https://redd.it/1o303bd
@r_cpp