为 Code Prover 启用自动并发检测 (-enable-concurrency-detection)

#include <stdbool.h>
#include <signal.h>

static bool cond = true;
typedef struct handler_s {
	int sig;
	void (* f)(int);
} handler;

static void signal_handler1(int sig) {

	if(sig == SIGSEGV) {
		cond = false;
	}
}

static void signal_handler2(int sig) {

	if(sig == SIGSEGV) {
		cond = false;
	}
}

void func(void) {
	assert(cond);   // Orange

	signal(SIGTERM, &signal_handler1);

	// even if signal_handler1 is called, it cannot set 'cond' to false for SIGTERM
	assert(cond);   //Orange

	// same handler: no creation, but modification of 
	// created interrupt to accepet SIGSEGV as parameter
	signal(SIGSEGV, &signal_handler1);

	assert(cond);  //Orange

	// remove handler for SIGSEGV
	signal(SIGSEGV, SIG_DFL);
	cond = true;

	assert(cond);    //Orange

	handler signals[2] = {{SIGSEGV, &signal_handler2}, {SIGTERM, &signal_handler2}};

	int i;
	for(i = 0; i < 2; i++) {
		signal(signals[i].sig, signals[i].f);
	}

	return;
}

int main(void) {

	func();
	return 0;
}

#include <thread>
#include <assert.h>

class myClass {
public:
	void func(char *command) {
		assert(1);  // Green check
	}
};

int main() {
	myClass *myPtr = new myClass();
	std::thread th(&myClass::func, myPtr, "values");

	return 0;
}