Searched refs:undef_user_int (Results 1 – 1 of 1) sorted by relevance
114 int undef_user_int = 0; in main() local115 (void) VALGRIND_MAKE_MEM_UNDEFINED(&undef_user_int, sizeof(int)); in main()117 x += (undef_user_int == 0x12345678 ? 16 : 27); in main()