wchar.c - Deductive Verification Tools for Linux Kernel - Open-Source Projects

Download (115 Bytes)

Bug #9560 » wchar.c

Evgeny Novikov, 03/21/2019 11:25 AM

    
    typedef unsigned short int wchar_t;

    wchar_t var1[] = L"Hello";

    typedef wchar_t WCHAR;

    WCHAR var2[] = L"world";

(1-1/1)