コンパイラのバグ？

#1

Windows Vista SP2 32ビット
Dev-C++ 5.4.0
gcc 4.7.0

次のコードが不可解な挙動をして、困りました。

コード:

#include <windows.h>
#include <ctype.h>
#include <limits.h>
#include "cpb_main.h"
#include "isprime.h"

static unsigned long long str2ull(const char* buf) {
	unsigned long long result=0;
	while(*buf!=0 && *buf>='0' && *buf<='9') {
		result=result*10+(*buf-'0');
		buf++;
	}
	return result;
}

enum {
	STATUS_NONUMBER,
	STATUS_NUMBER,
	STATUS_INVALIDNUMBER
};

int primeJudge(HWND hWnd,char* prime,const config_t* config) {
	HGLOBAL hMem;
	WCHAR* str;
	int error=0;
	int i,length,start,nowlength,status;
	if(IsClipboardFormatAvailable(CF_UNICODETEXT)) {
		if(OpenClipboard(hWnd)) {
			if(hMem=(HGLOBAL)GetClipboardData(CF_UNICODETEXT)) {
				WCHAR* strtemp;
				if(strtemp=(WCHAR*)GlobalLock(hMem)) {
					length=lstrlenW(strtemp);
					str=HeapAlloc(GetProcessHeap(),0,(length+1)*sizeof(WCHAR));
					if(str)lstrcpyW(str,strtemp); else error=1;
					GlobalUnlock(hMem);
				} else error=1;
			} else error=1;
			CloseClipboard();
		} else error=1;
	} else error=1;
	if(error)return 0;

	if(config->readMax>0 && config->readMax<2097152) { /* readmax<2^21 */
		int kyoyo_length=config->readMax*1024/sizeof(WCHAR);
		if(length>kyoyo_length) {
			if(config->noReadOverMax) {
				HeapFree(GetProcessHeap(),0,str);
				return 0;
			}
			length=kyoyo_length;
		}
	}

	status=STATUS_NONUMBER;
	for(i=0;i<length;i++) {
		switch(status) {
			case STATUS_NONUMBER:
				if(isdigit((int)str[i])) {
					nowlength=1;
					status=STATUS_NUMBER;
					start=i;
				} else if((int)str[i]=='.' && !config->stopOnPeriod) {
					nowlength=0;
					status=STATUS_INVALIDNUMBER;
				}
				break;
			case STATUS_NUMBER:
			case STATUS_INVALIDNUMBER:
				if(isdigit((int)str[i])) {
					nowlength++;
					if(nowlength>19)status=STATUS_INVALIDNUMBER;
				} else if((int)str[i]=='.' && !config->stopOnPeriod) {
					status=STATUS_INVALIDNUMBER;
				} else if(!config->ignoreComma|| (int)str[i]!=',') {
					if(status==STATUS_NUMBER) {
						int j,num=0;
						char numberBuffer[32];
						unsigned long long target;
						for(j=start;j<i;j++) {
							MessageBox(hWnd,"aaa","test",MB_OK);
							if(isdigit((int)str[j]))numberBuffer[num++]=(int)str[j];
						}
						numberBuffer[num]=0;
						wsprintf(numberBuffer,"%d %d %d %d",start,i,start<i,num);
						MessageBox(hWnd,numberBuffer,"test",MB_OK);
						target=str2ull(numberBuffer);
						if(target<=LLONG_MAX && isprime(target)) {
							lstrcpy(prime,numberBuffer);
							HeapFree(GetProcessHeap(),0,str);
							return 1;
						}
					}
					status=STATUS_NONUMBER;
				}
				break;
		}
	}
	if(status==STATUS_NUMBER && (int)str[i]==0) {
		int j,num=0;
		char numberBuffer[32];
		unsigned long long target;
		for(j=start;j<i;j++) {
			if(isdigit((int)str[j]))numberBuffer[num++]=(int)str[j];
		}
		numberBuffer[num]=0;
		target=str2ull(numberBuffer);
		if(target<=LLONG_MAX && isprime(target)) {
			lstrcpy(prime,numberBuffer);
			HeapFree(GetProcessHeap(),0,str);
			return 1;
		}
	}

	HeapFree(GetProcessHeap(),0,str);
	return 0;
}

クリップボードに「0;」という文字列をかぎかっこなしでコピーした状態で上のプログラムを実行すると、
「0 1 0 0」というダイアログが表示されます。
これは、start==0,i==1のとき、start<iが偽であることを示しています。
これは意味不明です。
さらに、wsprintf(numberBuffer,"%d %d %d %d",start,i,start<i,num);のあとにstart=1;という行を加えると、
正しく「0 1 1 1」というダイアログが表示されました。
どうしてこのような現象が起きるのでしょうか？
コンパイラを変えたほうがいいのでしょうか？

#2

こちらではヘッダがないのでコンパイルして確認できませんが、他のコンパイラで試したら結果はどうでしょうか？

#3

プロジェクト一式を上げます。
gcc version 3.2.3 (mingw special 20030504-1)で試したところ正常のようでした。

追記
もう一度試そうとしたらコンパイル（リンク）が通りません。誤報かもしれません。

#4

gcc 4.7.2では正常のようです。

#5

みけCAT さんが書きました:gcc 4.7.2では正常のようです。

それだとバグでしょうね。
【補足】アセンブルコードを出してみて確認するのが一番なんですが出来ますか？

【さらに補足】
VC++でコンパイルしてみたところ、通知領域にアイコンが表示されるだけで何も起きないですね。
これはどう動作すれば？

#6

softya（ソフト屋) さんが書きました:【補足】アセンブルコードを出してみて確認するのが一番なんですが出来ますか？

アセンブルコードは出せますが、読めません。

► スポイラーを表示

コード:

	.file	"cpb_main.c"
	.text
	.p2align 2,,3
	.globl	_primeJudge
	.def	_primeJudge;	.scl	2;	.type	32;	.endef
_primeJudge:
LFB47:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	pushl	%edi
	.cfi_def_cfa_offset 12
	.cfi_offset 7, -12
	pushl	%esi
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	pushl	%ebx
	.cfi_def_cfa_offset 20
	.cfi_offset 3, -20
	subl	$76, %esp
	.cfi_def_cfa_offset 96
	movl	$13, (%esp)
	call	_IsClipboardFormatAvailable@4
	.cfi_def_cfa_offset 92
	pushl	%ebx
	.cfi_def_cfa_offset 96
	testl	%eax, %eax
	jne	L60
L56:
	xorl	%eax, %eax
L52:
	addl	$76, %esp
	.cfi_remember_state
	.cfi_def_cfa_offset 20
	popl	%ebx
	.cfi_restore 3
	.cfi_def_cfa_offset 16
	popl	%esi
	.cfi_restore 6
	.cfi_def_cfa_offset 12
	popl	%edi
	.cfi_restore 7
	.cfi_def_cfa_offset 8
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
	.p2align 2,,3
L60:
	.cfi_restore_state
	movl	96(%esp), %eax
	movl	%eax, (%esp)
	call	_OpenClipboard@4
	.cfi_def_cfa_offset 92
	pushl	%ecx
	.cfi_def_cfa_offset 96
	testl	%eax, %eax
	je	L56
	movl	$13, (%esp)
	call	_GetClipboardData@4
	.cfi_def_cfa_offset 92
	pushl	%edx
	.cfi_def_cfa_offset 96
	movl	%eax, %ebx
	testl	%eax, %eax
	je	L57
	movl	%eax, (%esp)
	call	_GlobalLock@4
	.cfi_def_cfa_offset 92
	pushl	%ebp
	.cfi_def_cfa_offset 96
	testl	%eax, %eax
	je	L57
	movl	%eax, (%esp)
	movl	%eax, 24(%esp)
	call	_lstrlenW@4
	.cfi_def_cfa_offset 92
	pushl	%esi
	.cfi_def_cfa_offset 96
	movl	%eax, %esi
	call	_GetProcessHeap@0
	movl	%eax, %ecx
	leal	2(%esi,%esi), %eax
	movl	%eax, 8(%esp)
	movl	$0, 4(%esp)
	movl	%ecx, (%esp)
	call	_HeapAlloc@12
	.cfi_def_cfa_offset 84
	subl	$12, %esp
	.cfi_def_cfa_offset 96
	movl	%eax, %ebp
	testl	%eax, %eax
	movl	24(%esp), %edx
	je	L4
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	_lstrcpyW@8
	.cfi_def_cfa_offset 88
	subl	$8, %esp
	.cfi_def_cfa_offset 96
	movl	%ebx, (%esp)
	call	_GlobalUnlock@4
	.cfi_def_cfa_offset 92
	pushl	%ecx
	.cfi_def_cfa_offset 96
	call	_CloseClipboard@0
	movl	104(%esp), %edx
	movl	4(%edx), %eax
	leal	-1(%eax), %edx
	cmpl	$2097150, %edx
	ja	L5
	sall	$10, %eax
	shrl	%eax
	cmpl	%eax, %esi
	jle	L5
	movl	104(%esp), %ecx
	movl	8(%ecx), %edx
	testl	%edx, %edx
	jne	L8
	movl	%eax, %esi
L6:
	xorl	%edx, %edx
	xorl	%ebx, %ebx
	.p2align 2,,3
L16:
	leal	-1(%edx), %eax
	cmpl	$1, %eax
	movw	0(%ebp,%ebx,2), %ax
	jbe	L53
	movzwl	%ax, %edx
	subl	$48, %edx
	cmpl	$9, %edx
	jbe	L25
	cmpw	$46, %ax
	je	L61
L26:
	xorl	%edx, %edx
L11:
	incl	%ebx
	cmpl	%esi, %ebx
	jne	L16
	decl	%edx
	jne	L8
	cmpw	$0, 0(%ebp,%ebx,2)
	jne	L8
	movl	28(%esp), %edi
	xorl	%ecx, %ecx
	.p2align 2,,3
L18:
	movw	0(%ebp,%edi,2), %ax
	movzwl	%ax, %edx
	subl	$48, %edx
	cmpl	$9, %edx
	ja	L17
	movb	%al, 32(%esp,%ecx)
	incl	%ecx
L17:
	incl	%edi
	cmpl	%edi, %ebx
	jg	L18
	movb	$0, 32(%esp,%ecx)
	movzbl	32(%esp), %esi
	leal	-48(%esi), %eax
	cmpb	$9, %al
	ja	L30
	leal	32(%esp), %edi
	xorl	%eax, %eax
	xorl	%edx, %edx
	.p2align 2,,3
L20:
	movl	%eax, %ecx
	movl	%edx, %ebx
	addl	%eax, %ecx
	adcl	%edx, %ebx
	shldl	$3, %eax, %edx
	sall	$3, %eax
	addl	%eax, %ecx
	adcl	%edx, %ebx
	movl	%esi, %edx
	movsbl	%dl, %eax
	subl	$48, %eax
	cltd
	addl	%ecx, %eax
	adcl	%ebx, %edx
	incl	%edi
	movzbl	(%edi), %esi
	leal	-48(%esi), %ecx
	cmpb	$9, %cl
	jbe	L20
	testl	%edx, %edx
	js	L8
L19:
	movl	%eax, (%esp)
	movl	%edx, 4(%esp)
	call	_isprime
	testl	%eax, %eax
	jne	L62
	.p2align 2,,3
L8:
	call	_GetProcessHeap@0
	movl	%ebp, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapFree@12
	.cfi_def_cfa_offset 84
	subl	$12, %esp
	.cfi_def_cfa_offset 96
	xorl	%eax, %eax
	addl	$76, %esp
	.cfi_remember_state
	.cfi_def_cfa_offset 20
	popl	%ebx
	.cfi_restore 3
	.cfi_def_cfa_offset 16
	popl	%esi
	.cfi_restore 6
	.cfi_def_cfa_offset 12
	popl	%edi
	.cfi_restore 7
	.cfi_def_cfa_offset 8
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
L4:
	.cfi_restore_state
	movl	%ebx, (%esp)
	call	_GlobalUnlock@4
	.cfi_def_cfa_offset 92
	pushl	%eax
	.cfi_def_cfa_offset 96
L57:
	call	_CloseClipboard@0
	jmp	L56
	.p2align 2,,3
L61:
	movl	104(%esp), %edx
	movl	16(%edx), %eax
	testl	%eax, %eax
	jne	L26
	movl	$2, %edx
	xorl	%edi, %edi
	jmp	L11
	.p2align 2,,3
L53:
	movzwl	%ax, %ecx
	subl	$48, %ecx
	cmpl	$9, %ecx
	ja	L12
	incl	%edi
	cmpl	$19, %edi
	jle	L11
L29:
	movl	$2, %edx
	jmp	L11
	.p2align 2,,3
L25:
	movl	%ebx, 28(%esp)
	movl	$1, %edx
	movl	$1, %edi
	jmp	L11
	.p2align 2,,3
L12:
	movl	104(%esp), %ecx
	cmpw	$46, %ax
	je	L63
	movl	12(%ecx), %ecx
	testl	%ecx, %ecx
	je	L14
	cmpw	$44, %ax
	je	L11
L14:
	decl	%edx
	jne	L26
	movb	$0, 32(%esp)
	movl	$0, (%esp)
	movl	$0, 4(%esp)
	call	_isprime
	testl	%eax, %eax
	je	L26
	leal	32(%esp), %eax
	movl	%eax, 4(%esp)
	movl	100(%esp), %eax
	movl	%eax, (%esp)
L58:
	call	_lstrcpyA@8
	.cfi_def_cfa_offset 88
	subl	$8, %esp
	.cfi_def_cfa_offset 96
	call	_GetProcessHeap@0
	movl	%ebp, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapFree@12
	.cfi_def_cfa_offset 84
	subl	$12, %esp
	.cfi_def_cfa_offset 96
	movl	$1, %eax
	jmp	L52
	.p2align 2,,3
L63:
	movl	16(%ecx), %eax
	testl	%eax, %eax
	je	L29
	jmp	L14
	.p2align 2,,3
L5:
	testl	%esi, %esi
	jg	L6
	jmp	L8
L62:
	leal	32(%esp), %eax
	movl	%eax, 4(%esp)
	movl	100(%esp), %ecx
	movl	%ecx, (%esp)
	jmp	L58
L30:
	xorl	%eax, %eax
	xorl	%edx, %edx
	jmp	L19
	.cfi_endproc
LFE47:
	.def	_IsClipboardFormatAvailable@4;	.scl	2;	.type	32;	.endef
	.def	_OpenClipboard@4;	.scl	2;	.type	32;	.endef
	.def	_GetClipboardData@4;	.scl	2;	.type	32;	.endef
	.def	_GlobalLock@4;	.scl	2;	.type	32;	.endef
	.def	_lstrlenW@4;	.scl	2;	.type	32;	.endef
	.def	_GetProcessHeap@0;	.scl	2;	.type	32;	.endef
	.def	_HeapAlloc@12;	.scl	2;	.type	32;	.endef
	.def	_lstrcpyW@8;	.scl	2;	.type	32;	.endef
	.def	_GlobalUnlock@4;	.scl	2;	.type	32;	.endef
	.def	_CloseClipboard@0;	.scl	2;	.type	32;	.endef
	.def	_isprime;	.scl	2;	.type	32;	.endef
	.def	_HeapFree@12;	.scl	2;	.type	32;	.endef
	.def	_lstrcpyA@8;	.scl	2;	.type	32;	.endef

【編集】これは新しい、書き換えたコードから出力したものです。

softya（ソフト屋) さんが書きました:【さらに補足】
VC++でコンパイルしてみたところ、通知領域にアイコンが表示されるだけで何も起きないですね。
これはどう動作すれば？

起動し、クリップボードに素数を含む文字列をコピーすると「うおおおおおおお！素数だあああああああ！」と言います。
アイコンを右クリックでメニューが出ます。

#7

提示したコードのコンパイル結果を貼ります。

gcc4.7.0

► スポイラーを表示

コード:

	.file	"cpb_main_test.c"
	.section .rdata,"dr"
LC0:
	.ascii "%d %d %d %d\0"
LC1:
	.ascii "test\0"
	.text
	.p2align 2,,3
	.globl	_primeJudge
	.def	_primeJudge;	.scl	2;	.type	32;	.endef
_primeJudge:
LFB47:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	pushl	%edi
	.cfi_def_cfa_offset 12
	.cfi_offset 7, -12
	pushl	%esi
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	pushl	%ebx
	.cfi_def_cfa_offset 20
	.cfi_offset 3, -20
	subl	$108, %esp
	.cfi_def_cfa_offset 128
	movl	$13, (%esp)
	call	_IsClipboardFormatAvailable@4
	.cfi_def_cfa_offset 124
	pushl	%edi
	.cfi_def_cfa_offset 128
	testl	%eax, %eax
	jne	L66
L62:
	xorl	%eax, %eax
L59:
	addl	$108, %esp
	.cfi_remember_state
	.cfi_def_cfa_offset 20
	popl	%ebx
	.cfi_restore 3
	.cfi_def_cfa_offset 16
	popl	%esi
	.cfi_restore 6
	.cfi_def_cfa_offset 12
	popl	%edi
	.cfi_restore 7
	.cfi_def_cfa_offset 8
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
	.p2align 2,,3
L66:
	.cfi_restore_state
	movl	128(%esp), %eax
	movl	%eax, (%esp)
	call	_OpenClipboard@4
	.cfi_def_cfa_offset 124
	pushl	%esi
	.cfi_def_cfa_offset 128
	testl	%eax, %eax
	je	L62
	movl	$13, (%esp)
	call	_GetClipboardData@4
	.cfi_def_cfa_offset 124
	pushl	%ebx
	.cfi_def_cfa_offset 128
	movl	%eax, %ebx
	testl	%eax, %eax
	je	L63
	movl	%eax, (%esp)
	call	_GlobalLock@4
	.cfi_def_cfa_offset 124
	pushl	%ecx
	.cfi_def_cfa_offset 128
	movl	%eax, %esi
	testl	%eax, %eax
	je	L63
	movl	%eax, (%esp)
	call	_lstrlenW@4
	.cfi_def_cfa_offset 124
	pushl	%edx
	.cfi_def_cfa_offset 128
	movl	%eax, 48(%esp)
	call	_GetProcessHeap@0
	movl	48(%esp), %ecx
	leal	2(%ecx,%ecx), %edx
	movl	%edx, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapAlloc@12
	.cfi_def_cfa_offset 116
	subl	$12, %esp
	.cfi_def_cfa_offset 128
	movl	%eax, 52(%esp)
	testl	%eax, %eax
	je	L4
	movl	%esi, 4(%esp)
	movl	%eax, (%esp)
	call	_lstrcpyW@8
	.cfi_def_cfa_offset 120
	subl	$8, %esp
	.cfi_def_cfa_offset 128
	movl	%ebx, (%esp)
	call	_GlobalUnlock@4
	.cfi_def_cfa_offset 124
	pushl	%eax
	.cfi_def_cfa_offset 128
	call	_CloseClipboard@0
	movl	136(%esp), %ebx
	movl	4(%ebx), %eax
	leal	-1(%eax), %edx
	cmpl	$2097150, %edx
	ja	L5
	sall	$10, %eax
	shrl	%eax
	cmpl	%eax, 48(%esp)
	jle	L5
	movl	8(%ebx), %ebp
	testl	%ebp, %ebp
	jne	L8
	movl	%eax, 48(%esp)
L6:
	xorl	%eax, %eax
	xorl	%ebp, %ebp
	.p2align 2,,3
L18:
	leal	-1(%eax), %edx
	movl	52(%esp), %ecx
	cmpl	$1, %edx
	jbe	L60
	movw	(%ecx,%ebp,2), %ax
	movzwl	%ax, %edx
	subl	$48, %edx
	cmpl	$9, %edx
	jbe	L27
	cmpw	$46, %ax
	je	L67
L28:
	xorl	%eax, %eax
L11:
	incl	%ebp
	cmpl	48(%esp), %ebp
	jne	L18
	decl	%eax
	jne	L8
	movl	52(%esp), %eax
	cmpw	$0, (%eax,%ebp,2)
	jne	L8
	movl	60(%esp), %eax
	xorl	%ebx, %ebx
	movl	52(%esp), %esi
	.p2align 2,,3
L21:
	movw	(%esi,%eax,2), %dx
	movzwl	%dx, %ecx
	subl	$48, %ecx
	cmpl	$9, %ecx
	ja	L20
	movb	%dl, 64(%esp,%ebx)
	incl	%ebx
L20:
	incl	%eax
	cmpl	%ebp, %eax
	jl	L21
	movb	$0, 64(%esp,%ebx)
	movzbl	64(%esp), %esi
	leal	-48(%esi), %eax
	cmpb	$9, %al
	ja	L32
	leal	64(%esp), %edi
	xorl	%eax, %eax
	xorl	%edx, %edx
	.p2align 2,,3
L23:
	movl	%eax, %ecx
	movl	%edx, %ebx
	addl	%eax, %ecx
	adcl	%edx, %ebx
	shldl	$3, %eax, %edx
	sall	$3, %eax
	addl	%eax, %ecx
	adcl	%edx, %ebx
	movl	%esi, %edx
	movsbl	%dl, %eax
	subl	$48, %eax
	cltd
	addl	%ecx, %eax
	adcl	%ebx, %edx
	incl	%edi
	movzbl	(%edi), %esi
	leal	-48(%esi), %ecx
	cmpb	$9, %cl
	jbe	L23
	testl	%edx, %edx
	js	L8
L22:
	movl	%eax, (%esp)
	movl	%edx, 4(%esp)
	call	_isprime
	testl	%eax, %eax
	jne	L68
	.p2align 2,,3
L8:
	call	_GetProcessHeap@0
	movl	52(%esp), %edx
	movl	%edx, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapFree@12
	.cfi_def_cfa_offset 116
	subl	$12, %esp
	.cfi_def_cfa_offset 128
	xorl	%eax, %eax
	addl	$108, %esp
	.cfi_remember_state
	.cfi_def_cfa_offset 20
	popl	%ebx
	.cfi_restore 3
	.cfi_def_cfa_offset 16
	popl	%esi
	.cfi_restore 6
	.cfi_def_cfa_offset 12
	popl	%edi
	.cfi_restore 7
	.cfi_def_cfa_offset 8
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
L4:
	.cfi_restore_state
	movl	%ebx, (%esp)
	call	_GlobalUnlock@4
	.cfi_def_cfa_offset 124
	pushl	%eax
	.cfi_def_cfa_offset 128
L63:
	call	_CloseClipboard@0
	jmp	L62
	.p2align 2,,3
L67:
	movl	136(%esp), %ebx
	movl	16(%ebx), %esi
	testl	%esi, %esi
	jne	L28
	movl	$2, %eax
	movl	$0, 56(%esp)
	jmp	L11
	.p2align 2,,3
L60:
	movw	(%ecx,%ebp,2), %dx
	movzwl	%dx, %ecx
	subl	$48, %ecx
	cmpl	$9, %ecx
	ja	L12
	incl	56(%esp)
	cmpl	$19, 56(%esp)
	jle	L11
L31:
	movl	$2, %eax
	jmp	L11
	.p2align 2,,3
L27:
	movl	%ebp, 60(%esp)
	movl	$1, %eax
	movl	$1, 56(%esp)
	jmp	L11
	.p2align 2,,3
L12:
	cmpw	$46, %dx
	je	L69
	movl	136(%esp), %ecx
	movl	12(%ecx), %ecx
	testl	%ecx, %ecx
	je	L14
	cmpw	$44, %dx
	je	L11
L14:
	decl	%eax
	jne	L28
	movb	$0, 64(%esp)
	movl	$0, 20(%esp)
	movl	$0, 16(%esp)
	movl	%ebp, 12(%esp)
	movl	60(%esp), %ecx
	movl	%ecx, 8(%esp)
	movl	$LC0, 4(%esp)
	leal	64(%esp), %ebx
	movl	%ebx, (%esp)
	call	_wsprintfA
	movl	$0, 12(%esp)
	movl	$LC1, 8(%esp)
	leal	64(%esp), %eax
	movl	%eax, 4(%esp)
	movl	128(%esp), %edx
	movl	%edx, (%esp)
	call	_MessageBoxA@16
	.cfi_def_cfa_offset 112
	subl	$16, %esp
	.cfi_def_cfa_offset 128
	movb	64(%esp), %cl
	leal	-48(%ecx), %eax
	cmpb	$9, %al
	ja	L70
	leal	64(%esp), %ebx
	xorl	%eax, %eax
	xorl	%edx, %edx
	movl	%ebx, 44(%esp)
	.p2align 2,,3
L16:
	movl	%eax, %esi
	movl	%edx, %edi
	addl	%eax, %esi
	adcl	%edx, %edi
	shldl	$3, %eax, %edx
	sall	$3, %eax
	addl	%eax, %esi
	adcl	%edx, %edi
	movsbl	%cl, %eax
	subl	$48, %eax
	cltd
	addl	%esi, %eax
	adcl	%edi, %edx
	incl	44(%esp)
	movl	44(%esp), %ebx
	movb	(%ebx), %cl
	leal	-48(%ecx), %esi
	movl	%esi, %ebx
	cmpb	$9, %bl
	jbe	L16
	testl	%edx, %edx
	js	L28
L25:
	movl	%eax, (%esp)
	movl	%edx, 4(%esp)
	call	_isprime
	testl	%eax, %eax
	je	L28
	leal	64(%esp), %eax
	movl	%eax, 4(%esp)
	movl	132(%esp), %edx
	movl	%edx, (%esp)
	call	_lstrcpyA@8
	.cfi_def_cfa_offset 120
	subl	$8, %esp
	.cfi_def_cfa_offset 128
	call	_GetProcessHeap@0
	movl	52(%esp), %ecx
	movl	%ecx, 8(%esp)
L64:
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapFree@12
	.cfi_def_cfa_offset 116
	subl	$12, %esp
	.cfi_def_cfa_offset 128
	movl	$1, %eax
	jmp	L59
	.p2align 2,,3
L69:
	movl	136(%esp), %ebx
	movl	16(%ebx), %ebx
	testl	%ebx, %ebx
	je	L31
	jmp	L14
	.p2align 2,,3
L5:
	movl	48(%esp), %edi
	testl	%edi, %edi
	jg	L6
	jmp	L8
L70:
	xorl	%eax, %eax
	xorl	%edx, %edx
	jmp	L25
L68:
	leal	64(%esp), %eax
	movl	%eax, 4(%esp)
	movl	132(%esp), %ecx
	movl	%ecx, (%esp)
	call	_lstrcpyA@8
	.cfi_def_cfa_offset 120
	subl	$8, %esp
	.cfi_def_cfa_offset 128
	call	_GetProcessHeap@0
	movl	52(%esp), %ebx
	movl	%ebx, 8(%esp)
	jmp	L64
L32:
	xorl	%eax, %eax
	xorl	%edx, %edx
	jmp	L22
	.cfi_endproc
LFE47:
	.def	_IsClipboardFormatAvailable@4;	.scl	2;	.type	32;	.endef
	.def	_OpenClipboard@4;	.scl	2;	.type	32;	.endef
	.def	_GetClipboardData@4;	.scl	2;	.type	32;	.endef
	.def	_GlobalLock@4;	.scl	2;	.type	32;	.endef
	.def	_lstrlenW@4;	.scl	2;	.type	32;	.endef
	.def	_GetProcessHeap@0;	.scl	2;	.type	32;	.endef
	.def	_HeapAlloc@12;	.scl	2;	.type	32;	.endef
	.def	_lstrcpyW@8;	.scl	2;	.type	32;	.endef
	.def	_GlobalUnlock@4;	.scl	2;	.type	32;	.endef
	.def	_CloseClipboard@0;	.scl	2;	.type	32;	.endef
	.def	_isprime;	.scl	2;	.type	32;	.endef
	.def	_HeapFree@12;	.scl	2;	.type	32;	.endef
	.def	_wsprintfA;	.scl	2;	.type	32;	.endef
	.def	_MessageBoxA@16;	.scl	2;	.type	32;	.endef
	.def	_lstrcpyA@8;	.scl	2;	.type	32;	.endef

gcc4.7.2

► スポイラーを表示

コード:

	.file	"cpb_main_test.c"
	.section .rdata,"dr"
LC0:
	.ascii "test\0"
LC1:
	.ascii "aaa\0"
LC2:
	.ascii "%d %d %d %d\0"
	.text
	.p2align 2,,3
	.globl	_primeJudge
	.def	_primeJudge;	.scl	2;	.type	32;	.endef
_primeJudge:
LFB47:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	pushl	%edi
	.cfi_def_cfa_offset 12
	.cfi_offset 7, -12
	pushl	%esi
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	pushl	%ebx
	.cfi_def_cfa_offset 20
	.cfi_offset 3, -20
	subl	$92, %esp
	.cfi_def_cfa_offset 112
	movl	$13, (%esp)
	call	_IsClipboardFormatAvailable@4
	.cfi_def_cfa_offset 108
	pushl	%ebx
	.cfi_def_cfa_offset 112
	testl	%eax, %eax
	jne	L71
L67:
	xorl	%eax, %eax
L64:
	addl	$92, %esp
	.cfi_remember_state
	.cfi_def_cfa_offset 20
	popl	%ebx
	.cfi_restore 3
	.cfi_def_cfa_offset 16
	popl	%esi
	.cfi_restore 6
	.cfi_def_cfa_offset 12
	popl	%edi
	.cfi_restore 7
	.cfi_def_cfa_offset 8
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
	.p2align 2,,3
L71:
	.cfi_restore_state
	movl	112(%esp), %edx
	movl	%edx, (%esp)
	call	_OpenClipboard@4
	.cfi_def_cfa_offset 108
	pushl	%ecx
	.cfi_def_cfa_offset 112
	testl	%eax, %eax
	je	L67
	movl	$13, (%esp)
	call	_GetClipboardData@4
	.cfi_def_cfa_offset 108
	pushl	%edx
	.cfi_def_cfa_offset 112
	movl	%eax, %ebx
	testl	%eax, %eax
	je	L68
	movl	%eax, (%esp)
	call	_GlobalLock@4
	.cfi_def_cfa_offset 108
	pushl	%ebp
	.cfi_def_cfa_offset 112
	movl	%eax, %esi
	testl	%eax, %eax
	je	L68
	movl	%eax, (%esp)
	call	_lstrlenW@4
	.cfi_def_cfa_offset 108
	pushl	%edi
	.cfi_def_cfa_offset 112
	movl	%eax, 32(%esp)
	call	_GetProcessHeap@0
	movl	32(%esp), %ecx
	leal	2(%ecx,%ecx), %edx
	movl	%edx, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapAlloc@12
	.cfi_def_cfa_offset 100
	subl	$12, %esp
	.cfi_def_cfa_offset 112
	movl	%eax, %edi
	testl	%eax, %eax
	je	L4
	movl	%esi, 4(%esp)
	movl	%eax, (%esp)
	call	_lstrcpyW@8
	.cfi_def_cfa_offset 104
	subl	$8, %esp
	.cfi_def_cfa_offset 112
	movl	%ebx, (%esp)
	call	_GlobalUnlock@4
	.cfi_def_cfa_offset 108
	pushl	%ecx
	.cfi_def_cfa_offset 112
	call	_CloseClipboard@0
	movl	120(%esp), %edx
	movl	4(%edx), %eax
	leal	-1(%eax), %edx
	cmpl	$2097150, %edx
	ja	L5
	sall	$10, %eax
	shrl	%eax
	cmpl	%eax, 32(%esp)
	jle	L5
	movl	120(%esp), %ecx
	movl	8(%ecx), %edx
	testl	%edx, %edx
	jne	L8
	movl	%eax, 32(%esp)
L6:
	xorl	%eax, %eax
	xorl	%ebp, %ebp
	.p2align 2,,3
L21:
	leal	-1(%eax), %edx
	cmpl	$1, %edx
	jbe	L65
	movw	(%edi,%ebp,2), %ax
	movzwl	%ax, %edx
	subl	$48, %edx
	cmpl	$9, %edx
	jbe	L29
	cmpw	$46, %ax
	je	L72
L34:
	xorl	%eax, %eax
L11:
	incl	%ebp
	cmpl	32(%esp), %ebp
	jne	L21
	decl	%eax
	jne	L8
	cmpw	$0, (%edi,%ebp,2)
	jne	L8
	movl	44(%esp), %eax
	xorl	%ebx, %ebx
	.p2align 2,,3
L24:
	movw	(%edi,%eax,2), %dx
	movzwl	%dx, %ecx
	subl	$48, %ecx
	cmpl	$9, %ecx
	ja	L23
	movb	%dl, 48(%esp,%ebx)
	incl	%ebx
L23:
	incl	%eax
	cmpl	%ebp, %eax
	jl	L24
	movb	$0, 48(%esp,%ebx)
	movzbl	48(%esp), %esi
	leal	-48(%esi), %eax
	cmpb	$9, %al
	ja	L37
	leal	48(%esp), %ebp
	xorl	%eax, %eax
	xorl	%edx, %edx
	.p2align 2,,3
L26:
	movl	%eax, %ecx
	movl	%edx, %ebx
	addl	%eax, %ecx
	adcl	%edx, %ebx
	shldl	$3, %eax, %edx
	sall	$3, %eax
	addl	%eax, %ecx
	adcl	%edx, %ebx
	movl	%esi, %edx
	movsbl	%dl, %eax
	subl	$48, %eax
	cltd
	addl	%ecx, %eax
	adcl	%ebx, %edx
	incl	%ebp
	movzbl	0(%ebp), %esi
	leal	-48(%esi), %ecx
	cmpb	$9, %cl
	jbe	L26
	testl	%edx, %edx
	js	L8
L25:
	movl	%eax, (%esp)
	movl	%edx, 4(%esp)
	call	_isprime
	testl	%eax, %eax
	jne	L73
	.p2align 2,,3
L8:
	call	_GetProcessHeap@0
	movl	%edi, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapFree@12
	.cfi_def_cfa_offset 100
	subl	$12, %esp
	.cfi_def_cfa_offset 112
	xorl	%eax, %eax
	addl	$92, %esp
	.cfi_remember_state
	.cfi_def_cfa_offset 20
	popl	%ebx
	.cfi_restore 3
	.cfi_def_cfa_offset 16
	popl	%esi
	.cfi_restore 6
	.cfi_def_cfa_offset 12
	popl	%edi
	.cfi_restore 7
	.cfi_def_cfa_offset 8
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
L4:
	.cfi_restore_state
	movl	%ebx, (%esp)
	call	_GlobalUnlock@4
	.cfi_def_cfa_offset 108
	pushl	%eax
	.cfi_def_cfa_offset 112
L68:
	call	_CloseClipboard@0
	jmp	L67
	.p2align 2,,3
L72:
	movl	120(%esp), %edx
	movl	16(%edx), %esi
	testl	%esi, %esi
	jne	L34
	movl	$2, %eax
	movl	$0, 36(%esp)
	jmp	L11
	.p2align 2,,3
L65:
	movw	(%edi,%ebp,2), %dx
	movzwl	%dx, %ecx
	subl	$48, %ecx
	cmpl	$9, %ecx
	ja	L12
	incl	36(%esp)
	cmpl	$19, 36(%esp)
	jle	L11
L33:
	movl	$2, %eax
	jmp	L11
	.p2align 2,,3
L29:
	movl	%ebp, 44(%esp)
	movl	$1, %eax
	movl	$1, 36(%esp)
	jmp	L11
	.p2align 2,,3
L12:
	movl	120(%esp), %ecx
	cmpw	$46, %dx
	je	L74
	movl	12(%ecx), %ecx
	testl	%ecx, %ecx
	je	L14
	cmpw	$44, %dx
	je	L11
L14:
	decl	%eax
	jne	L34
	cmpl	44(%esp), %ebp
	jle	L35
	movl	44(%esp), %esi
	xorl	%ebx, %ebx
	movl	%ebp, 40(%esp)
	movl	%esi, %ebp
	movl	112(%esp), %esi
	.p2align 2,,3
L17:
	movl	$0, 12(%esp)
	movl	$LC0, 8(%esp)
	movl	$LC1, 4(%esp)
	movl	%esi, (%esp)
	call	_MessageBoxA@16
	.cfi_def_cfa_offset 96
	subl	$16, %esp
	.cfi_def_cfa_offset 112
	movw	(%edi,%ebp,2), %ax
	movzwl	%ax, %ecx
	subl	$48, %ecx
	cmpl	$9, %ecx
	ja	L16
	movb	%al, 48(%esp,%ebx)
	incl	%ebx
L16:
	incl	%ebp
	cmpl	40(%esp), %ebp
	jne	L17
	movl	40(%esp), %ebp
L15:
	movb	$0, 48(%esp,%ebx)
	movl	%ebx, 20(%esp)
	xorl	%eax, %eax
	cmpl	%ebp, 44(%esp)
	setl	%al
	movl	%eax, 16(%esp)
	movl	%ebp, 12(%esp)
	movl	44(%esp), %edx
	movl	%edx, 8(%esp)
	movl	$LC2, 4(%esp)
	leal	48(%esp), %ecx
	movl	%ecx, (%esp)
	call	_wsprintfA
	movl	$0, 12(%esp)
	movl	$LC0, 8(%esp)
	leal	48(%esp), %eax
	movl	%eax, 4(%esp)
	movl	112(%esp), %edx
	movl	%edx, (%esp)
	call	_MessageBoxA@16
	.cfi_def_cfa_offset 96
	subl	$16, %esp
	.cfi_def_cfa_offset 112
	movb	48(%esp), %cl
	leal	-48(%ecx), %eax
	cmpb	$9, %al
	ja	L36
	leal	48(%esp), %esi
	xorl	%eax, %eax
	xorl	%edx, %edx
	movl	%edi, 40(%esp)
	movl	%esi, %edi
	movl	%ecx, %esi
	.p2align 2,,3
L19:
	movl	%eax, %ecx
	movl	%edx, %ebx
	addl	%eax, %ecx
	adcl	%edx, %ebx
	shldl	$3, %eax, %edx
	sall	$3, %eax
	addl	%eax, %ecx
	adcl	%edx, %ebx
	movl	%esi, %edx
	movsbl	%dl, %eax
	subl	$48, %eax
	cltd
	addl	%ecx, %eax
	adcl	%ebx, %edx
	incl	%edi
	movzbl	(%edi), %esi
	leal	-48(%esi), %ecx
	cmpb	$9, %cl
	jbe	L19
	movl	40(%esp), %edi
	testl	%edx, %edx
	js	L34
L18:
	movl	%eax, (%esp)
	movl	%edx, 4(%esp)
	call	_isprime
	testl	%eax, %eax
	je	L34
	leal	48(%esp), %ecx
	movl	%ecx, 4(%esp)
	movl	116(%esp), %eax
	movl	%eax, (%esp)
L69:
	call	_lstrcpyA@8
	.cfi_def_cfa_offset 104
	subl	$8, %esp
	.cfi_def_cfa_offset 112
	call	_GetProcessHeap@0
	movl	%edi, 8(%esp)
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	_HeapFree@12
	.cfi_def_cfa_offset 100
	subl	$12, %esp
	.cfi_def_cfa_offset 112
	movl	$1, %eax
	jmp	L64
	.p2align 2,,3
L74:
	movl	16(%ecx), %ebx
	testl	%ebx, %ebx
	je	L33
	jmp	L14
	.p2align 2,,3
L5:
	movl	32(%esp), %ebp
	testl	%ebp, %ebp
	jg	L6
	jmp	L8
L36:
	xorl	%eax, %eax
	xorl	%edx, %edx
	jmp	L18
L35:
	xorl	%ebx, %ebx
	jmp	L15
L73:
	leal	48(%esp), %eax
	movl	%eax, 4(%esp)
	movl	116(%esp), %ecx
	movl	%ecx, (%esp)
	jmp	L69
L37:
	xorl	%eax, %eax
	xorl	%edx, %edx
	jmp	L25
	.cfi_endproc
LFE47:
	.def	_IsClipboardFormatAvailable@4;	.scl	2;	.type	32;	.endef
	.def	_OpenClipboard@4;	.scl	2;	.type	32;	.endef
	.def	_GetClipboardData@4;	.scl	2;	.type	32;	.endef
	.def	_GlobalLock@4;	.scl	2;	.type	32;	.endef
	.def	_lstrlenW@4;	.scl	2;	.type	32;	.endef
	.def	_GetProcessHeap@0;	.scl	2;	.type	32;	.endef
	.def	_HeapAlloc@12;	.scl	2;	.type	32;	.endef
	.def	_lstrcpyW@8;	.scl	2;	.type	32;	.endef
	.def	_GlobalUnlock@4;	.scl	2;	.type	32;	.endef
	.def	_CloseClipboard@0;	.scl	2;	.type	32;	.endef
	.def	_isprime;	.scl	2;	.type	32;	.endef
	.def	_HeapFree@12;	.scl	2;	.type	32;	.endef
	.def	_MessageBoxA@16;	.scl	2;	.type	32;	.endef
	.def	_wsprintfA;	.scl	2;	.type	32;	.endef
	.def	_lstrcpyA@8;	.scl	2;	.type	32;	.endef

#8

gcc4.7.0の285行目と286行目から、wsprintfのstart<iとnumが両方0に固定されている、ということでしょうか？

#9

どういうわけか最適化でiとstartは固定値であると判断されたみたいですね。まぁ、最適化のバグだと思います。

【補足】　VC++2008でコンパイル実行している状態で、クリップボードに「決定の」と言う文字列が入ったら落ちました。
場所は
if(isdigit((int)str)) {
str = 0x007a8c00 "決定の"
i = 0

CRTでのアサート条件は
_ASSERTE((unsigned)(c + 1) <= 256);
c = 27770
って事ですね。256を超えるとダメみたいです。

#10

ありがとうございました。

YuO · #11

softya（ソフト屋) さんが書きました:CRTでのアサート条件は
_ASSERTE((unsigned)(c + 1) <= 256);
c = 27770
って事ですね。256を超えるとダメみたいです。

in ISO/IEC 9899:1999 7.4 Character handling <ctype.h> ¶1

In all cases the argument is an int, the value of which shall be representable as an unsigned char or shall equal the value of the macro EOF. If the argument has any other value, the behavior is undefined.

なので，未定義の振る舞いになる場合にassertしている，ということだと思います。
charがsingned 8bitな環境で8bit系の文字コードを使っている場合，intへのキャストではなくunsigned charへのキャストが必要になる，ということになります。

コンパイラのバグ？

コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

Re: コンパイラのバグ？

		7月 2025
日	月	火	水	木	金	土
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30	31