Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)

ilasm.exe 컴파일 오류 - error : syntax error at token '-' in ... -inf

간단하게 다음의 예제 코드를,

Console.WriteLine(GetResult());

double GetResult()
{
    return double.NegativeInfinity;
}

빌드해 생성한 DLL을 ildasm.exe로 IL 코드로 변경합니다.

C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0> ildasm ConsoleApp1.dll /out=test.il

그리고 이렇게 생성한 IL 코드를 다시 컴파일하면,

C:\temp\ConsoleApp1\ConsoleApp1\bin\Debug\net7.0> ilasm test.il /out=test.dll

Microsoft (R) .NET Framework IL Assembler.  Version 4.8.9105.0
Copyright (c) Microsoft Corporation.  All rights reserved.
Assembling 'test.il'  to EXE --> 'test.dll'
Source file is ANSI

Assembled method Microsoft.CodeAnalysis.EmbeddedAttribute::.ctor
Assembled method System.Runtime.CompilerServices.RefSafetyRulesAttribute::.ctor
Assembled method Program::<Main>$
Assembled method Program::.ctor
test.il(131) : error : syntax error at token '-' in:     IL_0001:  ldc.r8     -inf

***** FAILURE *****

오류를 재현할 수 있습니다. 오류의 원인은, GetResult 메서드에서 사용한 double.NegativeInfinity 상수가 IL 코드로는 -inf로 번역되었기 때문인데요,

.method assembly hidebysig static float64 
        '<<Main>$>g__GetResult|0_0'() cil managed
{
    .custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) 
    // Code size       15 (0xf)
    .maxstack  1
    .locals init (float64 V_0)
    IL_0000:  nop
    IL_0001:  ldc.r8     -inf
    IL_000a:  stloc.0
    IL_000b:  br.s       IL_000d

    IL_000d:  ldloc.0
    IL_000e:  ret
} // end of method Program::'<<Main>$>g__GetResult|0_0'

어째서 ildasm.exe가 그렇게 번역한 것인지는 모르겠지만 어쨌든 ilasm.exe에는 그것이 아직 반영되지 않아 -inf 토큰을 해석할 수 없었던 것입니다. 이에 대해 검색해 보면,

error : syntax error at token '-' in: IL_002d: ldc.r8 -nan(ind) with "return Double.NaN
; https://github.com/3F/DllExport/issues/158

ILDasm.exe regression with infinum floating point values in .NET Framework 4.8 SDK
; https://developercommunity.visualstudio.com/t/ildasmexe-regression-with-infinum-floating-point-v/545431

답이 나오는데요, 각각 다음의 표현으로 수정하는 것으로 어셈블이 가능해집니다.

ldc.r4 inf
 ==> ldc.r4 (00 00 80 7F)

ldc.r4 -inf
 ==> ldc.r4 (00 00 80 FF)

ldc.r8 inf
 ==> ldc.r8 (00 00 00 00 00 00 F0 7F)

ldc.r8 -inf
 ==> ldc.r8 (00 00 00 00 00 00 F0 FF)

그러니까, 제가 사용한 코드의 경우 이렇게 바꿔주면 되는 것입니다.

.method assembly hidebysig static float64 
        '<<Main>$>g__GetResult|0_0'() cil managed
{
    .custom instance void [System.Runtime]System.Runtime.CompilerServices.CompilerGeneratedAttribute::.ctor() = ( 01 00 00 00 ) 
    // Code size       15 (0xf)
    .maxstack  1
    .locals init (float64 V_0)
    IL_0000:  nop
    //     IL_0001:  ldc.r8     -inf
    IL_0001:  ldc.r8 (00 00 00 00 00 00 F0 FF)
    IL_000a:  stloc.0
    IL_000b:  br.s       IL_000d

    IL_000d:  ldloc.0
    IL_000e:  ret
} // end of method Program::'<<Main>$>g__GetResult|0_0'

이후 ilasm.exe로 컴파일하고, 그 결과를 dnSpy 등의 도구로 보면 double.NegativeInfinity로 나옵니다.

[CompilerGenerated]
internal static double <<Main>$>g__GetResult|0_0()
{
    return double.NegativeInfinity;
}

재미있는 건, (ildasm.exe와는 달리) 위의 코드를 dnSpy의 "IL" 보기로 전환하면 "IL_0001: ldc.r8 (00 00 00 00 00 00 F0 FF)" 코드가 나옵니다. (또한, 최신 버전의 ildasm을 사용해도 바이트 배열 코드가 나옵니다.)




한 예로, 근래의 "Oracle.ManagedDataAccess.dll"을 (pdb 디버깅을 위해) 역어셈블하면 -inf 예외가 발생하는데요, 이 문제를 위와 같은 방법으로 수정하거나 아니면 .NET Core/5+에 포함된 ildasm.exe를 써도 됩니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]






[최초 등록일: ]
[최종 수정일: 12/6/2023]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




... 121  122  123  124  125  126  [127]  128  129  130  131  132  133  134  135  ...
NoWriterDateCnt.TitleFile(s)
2880정성태3/7/201521677개발 환경 구성: 260. C# Code Coverage 도구 - Semantic Designs 소개
2879정성태3/3/201526680개발 환경 구성: 259. Visual Studio 없이 Visual C++ 컴파일하는 방법
2878정성태2/28/201527547.NET Framework: 503. == 연산자보다는 Equals 메서드의 호출이 더 권장됩니다. [3]파일 다운로드1
2877정성태2/28/201521747.NET Framework: 502. 연산자 재정의(operator overloading)와 메서드 재정의(method overriding)의 다른 점 - 가상 함수 호출 여부 [3]파일 다운로드1
2876정성태2/27/201524216VS.NET IDE: 98. IntegraStudio - Visual Studio에서 Java 프로그램 개발
2875정성태2/26/201522823디버깅 기술: 72. Visual Studio 2013에서의 sos.dll 사용 제한
2874정성태2/26/201519574디버깅 기술: 71. windbg + 닷넷 디버깅 (2) - null 체크 패턴
2873정성태2/25/201537046.NET Framework: 501. FtpWebRequest 타입을 이용해 FTP 파일 업로드 [4]파일 다운로드1
2872정성태2/25/201521229디버깅 기술: 70. windbg + 닷넷 디버깅 (1) - 배열 인덱스 사용 패턴
2871정성태2/24/201525203개발 환경 구성: 258. 윈도우 8.1에서 방화벽과 함께 FTP 서버 여는 (하지만, 권장하지 않는) 방법 [1]
2870정성태2/24/201526338개발 환경 구성: 257. 윈도우 8.1에서 방화벽과 함께 FTP 서버 여는 방법
2869정성태2/23/201520312.NET Framework: 500. struct로 정의한 값 형식(Value Type)의 경우 Equals 재정의를 권장합니다.파일 다운로드1
2868정성태2/23/201524820VS.NET IDE: 97. Visual C++ 프로젝트 디버깅 시에 Step-Into(F11) 동작이 원치 않는 함수로 진입하는 것을 막는 방법 [2]
2867정성태2/23/201518521오류 유형: 273. File History - Failed to initiate user data backup (error 80070005)
2866정성태2/23/201520362오류 유형: 272. WAT080 : Failed to locate the Windows Azure SDK. Please make sure the Windows Azure SDK v2.1 is installed.
1868정성태2/20/201517647오류 유형: 271. The type '...' cannot be used as type parameter 'TContext' in the generic type or method 'System.ServiceModel.DomainServices.EntityFramework.LinqToEntitiesDomainService&lt;T&gt;
1866정성태2/20/201518558오류 유형: 270. "aspnet_regiis -i" 실행 시 0x00000006 오류 해결 방법
1865정성태2/20/201519870.NET Framework: 499. 특정 닷넷 프레임워크 버전 이후부터 제공되는 타입을 사용해야 한다면?
1864정성태2/18/201524855.NET Framework: 498. C#으로 간단하게 만들어 본 ASCII Art 프로그램 [2]파일 다운로드1
1862정성태2/18/201528695.NET Framework: 497. .NET Garbage Collection에 대한 정리 [6]
1861정성태2/18/201524048.NET Framework: 496. 마우스 커서가 놓인 지점의 문자열 얻는 방법 [1]파일 다운로드1
1860정성태2/18/201523873.NET Framework: 495. CorElementType의 요소 값 설명파일 다운로드1
1859정성태2/17/201524278Windows: 106. 컴퓨터를 재부팅하면 절전(Power Saver) 전원 모드로 돌아가는 경우
1858정성태2/16/201534266Windows: 105. 자동으로 로그아웃/잠김 화면 상태로 전환된다면? [2]
1857정성태2/16/201522276.NET Framework: 494. 값(struct) 형식의 제네릭(Generic) 타입이 박싱되는 경우의 메타데이터 토큰 값파일 다운로드1
1856정성태2/15/201521254.NET Framework: 493. TypeRef 메타테이블에 등록되는 타입의 조건파일 다운로드1
... 121  122  123  124  125  126  [127]  128  129  130  131  132  133  134  135  ...