Custom Query (145 matches)

The following input crashes CC1

enum {
	A = (64 - sizeof(size_t)) / sizeof(unsigned long long),
	B = A * 8 * sizeof(unsigned long long)
};

struct C {
	size_t count;
	unsigned long long mask[ A ];
};

result :

CFA Version 1.0.0 (debug)
CC1 Translator error: stage 2, child failed 8

CFA code :

int main() {
	for(4) {
		if(true) continue;
		int num = 0;
	}
}

This should compile normally but results in an error claiming the continue jumps into a scope where num exists but was not initialized.

The reason is that the code is rewritten as :

int main(){
    for (4) {
        if (true) goto __loopContinue;
        int num = 0;
        __loopContinue: __attribute__ ((unused));
    }
}

It should probably be :

int main(){
    for (4) {
        {
            if (true) goto __loopContinue;
            int num = 0;
        }
        __loopContinue: __attribute__ ((unused));
    }
}

Given the following code :

static inline bool bts(volatile size_t * target, size_t bit ) {
	int result = 0;
	asm volatile(
		"LOCK btsq %[bit_asm], %[target_asm]\n\t"
            :"=@ccc" (result)
            : [target_asm] "m" (*target), [bit_asm] "r" (bit)
	);
	return result != 0;
}

Cforall attempts to resolve the names target_asm and bit_asm. This behaviour is incorrect and the names should be left as is.