cparser icon indicating copy to clipboard operation
cparser copied to clipboard

Core dump on switch statement

Open nbkolchin opened this issue 4 years ago • 0 comments

cparser segfaults on following code:

int main(void){
        int i = 0;
        switch(i){
                i = i + ({case 0:; 0;});
        }
        return 0;
}
$ ./cparser/build/debug/cparser -m32 switch0.c
switch0.c:4:17: warning: statement is unreachable [-Wunreachable-code]
Verify warning: Block BB[52:3](main[54]): not reachable by blockwalker (endless loop with no kept block?)
Verify warning: Block BB[52:3](main[54]): no cfopt in block

Program received signal SIGABRT, Aborted.
$ ./cparser/build/debug/cparser --version
cparser 1.22.1(8ec1a761bf62be1028632e5eceda425d9fbeb039) using libFirm 1.22(b7f2ed734453a3185d07738016119544da27b9e8)

nbkolchin avatar Jan 04 '21 17:01 nbkolchin