esbmc icon indicating copy to clipboard operation
esbmc copied to clipboard
verified publisher icon esbmc

Partially support `#pragma comment` due to usage in Windows headers

Open intrigus-lgtm opened this issue 1 year ago • 0 comments

The TCsregression/esbmc/github_1165/wchar.c and regression/llvm/char_literal fail with:

ERROR: unrecognized / unimplemented clang declaration PragmaComment
PragmaCommentDecl 0x203adfb0508 <C:\Program Files (x86)\Windows Kits\10\Include\10.0.26100.0\ucrt\wchar.h:213:13> col:13 linker "/alternatename:_Avx2WmemEnabled=_Avx2WmemEnabledWeakValue"

ERROR: CONVERSION ERROR

This is caused by a recent change in the header.

intrigus-lgtm avatar Feb 27 '25 13:02 intrigus-lgtm