Are they really making any impact on produced code?

for instance if you look at the code below, in assembly it does not produce
any check. And if you set an annotation on them, it should expectingly
produce an error but it does not...

void dotest2(__in PCWSTR test, __in DWORD* test2)
{

AtlTrace(L"lal lala la %s\n", test);

test = L"puk";

*test2 = 1234;

}