Home
last modified time | relevance | path

Searched refs:vg_assert (Results 1 – 25 of 112) sorted by relevance

12345

/external/valgrind/coregrind/
Dm_vki.c71 vg_assert( 8 * sizeof(set) == _VKI_NSIG ); in VG_()
73 vg_assert( 8 * sizeof(set.sig[0]) == _VKI_NSIG_BPW ); in VG_()
75 vg_assert( _VKI_NSIG_BPW == 32 || _VKI_NSIG_BPW == 64 ); in VG_()
82 vg_assert(_VKI_NSIG == NSIG); in VG_()
83 vg_assert(_VKI_NSIG == 32); in VG_()
84 vg_assert(_VKI_NSIG_WORDS == 1); in VG_()
85 vg_assert(sizeof(sigset_t) /* defined by Darwin */ in VG_()
95 vg_assert( sizeof(vki_sigaction_toK_t) in VG_()
100 vg_assert( sizeof(vki_sigaction_toK_t) in VG_()
103 vg_assert(sizeof(struct sigaction) == sizeof(vki_sigaction_fromK_t)); in VG_()
[all …]
Dm_xarray.c61 vg_assert( sizeof(Word) == sizeof(void*) ); in VG_()
62 vg_assert( ((Word)(-1)) < ((Word)(0)) ); in VG_()
63 vg_assert( ((SizeT)(-1)) > ((SizeT)(0)) ); in VG_()
65 vg_assert(alloc_fn); in VG_()
66 vg_assert(free_fn); in VG_()
67 vg_assert(elemSzB > 0); in VG_()
85 vg_assert(xa); in VG_()
86 vg_assert(xa->alloc_fn); in VG_()
87 vg_assert(xa->free_fn); in VG_()
88 vg_assert(xa->elemSzB >= 1); in VG_()
[all …]
Dm_transtab.c478 vg_assert(sNo < n_sectors); in index_tte()
479 vg_assert(tteNo < N_TTES_PER_SECTOR); in index_tte()
481 vg_assert(s->tt); in index_tte()
483 vg_assert(tte->status == InUse); in index_tte()
510 vg_assert(iea->n_fixed == 0); in InEdgeArr__size()
513 vg_assert(iea->n_fixed <= N_FIXED_IN_EDGE_ARR); in InEdgeArr__size()
521 vg_assert(iea->n_fixed == 0); in InEdgeArr__makeEmpty()
526 vg_assert(iea->n_fixed <= N_FIXED_IN_EDGE_ARR); in InEdgeArr__makeEmpty()
535 vg_assert(iea->n_fixed == 0); in InEdgeArr__index()
538 vg_assert(i < iea->n_fixed); in InEdgeArr__index()
[all …]
Dm_sparsewa.c124 vg_assert(sp >= 0 && sp <= _3_or_7); in swa_PUSH()
139 vg_assert(sp >= 0 && sp <= _3_or_7); in swa_POP()
196 default: vg_assert(0); in VG_()
216 vg_assert(*(UWord*)curr_nd == LevelN_MAGIC); in VG_()
239 vg_assert(alloc_nofail); in VG_()
240 vg_assert(cc); in VG_()
241 vg_assert(dealloc); in VG_()
255 vg_assert(nd); in swa_deleteSWA_wrk()
264 vg_assert(*(UWord*)nd == Level0_MAGIC); in swa_deleteSWA_wrk()
286 vg_assert(swa); in VG_()
[all …]
Dm_poolalloc.c58 vg_assert(0 == (elemSzB % sizeof(UWord))); in VG_()
59 vg_assert(elemSzB >= sizeof(UWord)); in VG_()
60 vg_assert(nPerPool >= 100); /* let's say */ in VG_()
61 vg_assert(alloc_fn); in VG_()
62 vg_assert(cc); in VG_()
63 vg_assert(free_fn); in VG_()
82 vg_assert(pa->nrRef == 0); in VG_()
96 vg_assert(pa); in pal_add_new_pool()
97 vg_assert(pa->nextFree == NULL); in pal_add_new_pool()
105 vg_assert(0 == (((UWord)elem) % sizeof(UWord))); in pal_add_new_pool()
[all …]
Dm_wordfm.c133 vg_assert(0); in avl_nasty()
193 default: vg_assert(0); in avl_insert_wrk()
214 vg_assert(0);/*NOTREACHED*/ in avl_insert_wrk()
226 default: vg_assert(0); in avl_insert_wrk()
247 vg_assert(0);/*NOTREACHED*/ in avl_insert_wrk()
276 vg_assert(left_subtree); in avl_remove_wrk()
284 default: vg_assert(0); in avl_remove_wrk()
300 vg_assert(0); in avl_remove_wrk()
312 vg_assert(right_subtree); in avl_remove_wrk()
320 default: vg_assert(0); in avl_remove_wrk()
[all …]
Dm_libcsignal.c87 vg_assert(set != NULL); in VG_()
106 vg_assert(set != NULL); in VG_()
125 vg_assert(set1 != NULL && set2 != NULL); in VG_()
181 vg_assert(dst != NULL && src != NULL); in VG_()
190 vg_assert(dst != NULL && src != NULL); in VG_()
199 vg_assert(dst != NULL && src != NULL); in VG_()
208 vg_assert(dst != NULL && src != NULL); in VG_()
309 vg_assert(oldactCopy.before[0] == 0x5555555555555555ULL); in VG_()
310 vg_assert(oldactCopy.before[1] == 0x5555555555555555ULL); in VG_()
311 vg_assert(oldactCopy.after[0] == 0x5555555555555555ULL); in VG_()
[all …]
Dm_execontext.c150 vg_assert(null_ExeContext->ecu == 4); in init_ExeContext_storage()
222 vg_assert(e1->n_ips >= 1 && e2->n_ips >= 1); in VG_()
281 vg_assert(htab_sz > 0); in calc_hash()
295 vg_assert(ec_htab_size_idx >= 0 && ec_htab_size_idx < N_EC_PRIMES); in resize_ec_htab()
316 vg_assert(hash < new_size); in resize_ec_htab()
340 vg_assert(sizeof(void*) == sizeof(UWord)); in record_ExeContext_wrk()
341 vg_assert(sizeof(void*) == sizeof(Addr)); in record_ExeContext_wrk()
343 vg_assert(VG_(is_valid_tid)(tid)); in record_ExeContext_wrk()
373 vg_assert(n_ips >= 1 && n_ips <= VG_(clo_backtrace_size)); in record_ExeContext_wrk2()
407 vg_assert(prev2->chain == prev); in record_ExeContext_wrk2()
[all …]
Dm_main.c372 vg_assert( VG_(args_for_valgrind) ); in early_process_cmd_line_options()
378 vg_assert(str); in early_process_cmd_line_options()
481 vg_assert( VG_(args_for_valgrind) ); in main_process_cmd_line_options()
728 vg_assert(ix < 4); in main_process_cmd_line_options()
729 vg_assert(pxVals[ix] >= VexRegUpdSpAtMemAccess); in main_process_cmd_line_options()
730 vg_assert(pxVals[ix] <= VexRegUpdAllregsAtEachInsn); in main_process_cmd_line_options()
736 vg_assert(ix < 4); in main_process_cmd_line_options()
737 vg_assert(pxVals[ix] >= VexRegUpdSpAtMemAccess); in main_process_cmd_line_options()
738 vg_assert(pxVals[ix] <= VexRegUpdAllregsAtEachInsn); in main_process_cmd_line_options()
744 vg_assert(ix < 4); in main_process_cmd_line_options()
[all …]
Dm_deduppoolalloc.c90 vg_assert(poolSzB >= eltAlign); in VG_()
91 vg_assert(poolSzB >= 100); /* let's say */ in VG_()
92 vg_assert(poolSzB >= 10*eltAlign); /* let's say */ in VG_()
93 vg_assert(alloc_fn); in VG_()
94 vg_assert(cc); in VG_()
95 vg_assert(free_fn); in VG_()
141 vg_assert(ddpa); in ddpa_add_new_pool_or_grow()
228 vg_assert (!ddpa->fixedSzb || VG_(sizeXA) (ddpa->pools) == 1); in VG_()
256 vg_assert(ddpa); in VG_()
257 vg_assert(ddpa->ht_elements); in VG_()
[all …]
Dm_mallocfree.c439 vg_assert( VG_(clo_profile_heap) ); in set_cc()
446 vg_assert( VG_(clo_profile_heap) ); in get_cc()
541 vg_assert(arena >= 0 && arena < VG_N_ARENAS); in arenaId_to_ArenaP()
548 vg_assert(arena >= 0 && arena < VG_N_ARENAS); in arenaP_to_ArenaId()
563 vg_assert(rz_szB <= MAX_REDZONE_SZB); in arena_init()
586 vg_assert(overhead_szB_lo(a) - hp_overhead_szB() == overhead_szB_hi(a)); in arena_init()
591 vg_assert((min_sblock_szB % VKI_PAGE_SIZE) == 0); in arena_init()
617 vg_assert(sizeof(a->sblocks_initial) in arena_init()
648 vg_assert( VG_(clo_profile_heap) ); in VG_()
692 vg_assert(client_rz_szB == VG_(tdict).tool_client_redzone_szB); in ensure_mm_init()
[all …]
Dm_compiler.c232 vg_assert(0); in __ubsan_handle_type_mismatch()
239 vg_assert(0); in __ubsan_handle_mul_overflow()
246 vg_assert(0); in __ubsan_handle_add_overflow()
253 vg_assert(0); in __ubsan_handle_sub_overflow()
260 vg_assert(0); in __ubsan_handle_divrem_overflow()
267 vg_assert(0); in __ubsan_handle_negate_overflow()
274 vg_assert(0); in __ubsan_handle_out_of_bounds()
281 vg_assert(0); in __ubsan_handle_shift_out_of_bounds()
288 vg_assert(0); in __ubsan_handle_vla_bound_not_positive()
295 vg_assert(0); in __ubsan_handle_nonnull_arg()
Dm_translate.c170 vg_assert(temp != IRTemp_INVALID); in add_SP_alias()
180 vg_assert(IRTemp_INVALID != temp); in get_SP_delta()
217 vg_assert(ec); in mk_ecu_Expr()
219 vg_assert(VG_(is_plausible_ECU)(ecu)); in mk_ecu_Expr()
304 vg_assert(sizeof_SP == 4 || sizeof_SP == 8); in vg_SP_update_pass()
320 vg_assert(curr_IP_known); \ in vg_SP_update_pass()
323 vg_assert(!(vanilla && w_ecu)); /* can't have both */ \ in vg_SP_update_pass()
356 vg_assert(syze > 0); \ in vg_SP_update_pass()
386 vg_assert(syze > 0); \ in vg_SP_update_pass()
412 vg_assert( typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp) == typeof_SP ); in vg_SP_update_pass()
[all …]
Dm_commandline.c64 vg_assert(dir != NULL); in read_dot_valgrindrc()
79 vg_assert(n >= 0 && n <= stat_buf.size+1); in read_dot_valgrindrc()
101 vg_assert(cp); in add_args_from_string()
165 vg_assert(!already_called); in VG_()
171 vg_assert( ! VG_(args_for_valgrind) ); in VG_()
176 vg_assert( ! VG_(args_for_client) ); in VG_()
184 vg_assert(argv[i]); in VG_()
198 vg_assert(argv[i]); in VG_()
205 vg_assert(argv[i]); in VG_()
Dm_redir.c358 vg_assert(i == n_req); in alloc_symname_array()
359 vg_assert(arr[n_req] == NULL); in alloc_symname_array()
419 vg_assert(newdi); in VG_()
421 vg_assert(newdi_soname != NULL); in VG_()
501 vg_assert(ts->seginfo != newdi); in VG_()
627 vg_assert(is_plausible_guest_addr(sym_avmas.main)); in VG_()
756 vg_assert(old); in VG_()
757 vg_assert(old->isIFunc); in VG_()
873 vg_assert(sp->mark); in generate_and_add_actives()
874 vg_assert(!sp->done); in generate_and_add_actives()
[all …]
/external/valgrind/coregrind/m_scheduler/
Dscheduler.c188 vg_assert(VG_(clo_profyle_interval) > 0); in maybe_show_sb_profile()
190 vg_assert(delta >= 0); in maybe_show_sb_profile()
284 vg_assert(tst->status != VgTs_Runnable); in VG_()
290 vg_assert(VG_(running_tid) == VG_INVALID_THREADID); in VG_()
319 vg_assert(tst->status == VgTs_Runnable); in VG_()
321 vg_assert(sleepstate == VgTs_WaitSys || in VG_()
326 vg_assert(VG_(running_tid) == tid); in VG_()
343 vg_assert(!the_BigLock); in init_BigLock()
377 vg_assert(VG_(is_valid_tid)(tid)); in VG_()
378 vg_assert(VG_(is_running_thread)(tid)); in VG_()
[all …]
Dsema.c60 vg_assert(r == 0); in ML_()
62 vg_assert(sema->pipe[0] != sema->pipe[1]); in ML_()
70 vg_assert(sema->pipe[0] != sema->pipe[1]); in ML_()
83 vg_assert(res == 1); in ML_()
88 vg_assert(sema->owner_lwpid != -1); /* must be initialised */ in ML_()
89 vg_assert(sema->pipe[0] != sema->pipe[1]); in ML_()
104 vg_assert(sema->owner_lwpid != lwpid); /* can't have it already */ in ML_()
105 vg_assert(sema->pipe[0] != sema->pipe[1]); in ML_()
119 vg_assert(ret == 1); /* should get exactly 1 token */ in ML_()
120 vg_assert(buf[0] >= 'A' && buf[0] <= 'Z'); in ML_()
[all …]
/external/valgrind/coregrind/m_debuginfo/
Dstorage.c98 vg_assert(sym->pri_name); in ML_()
100 vg_assert(sec_names); in ML_()
141 vg_assert(0+0); \ in ML_()
184 vg_assert(0); in ML_()
249 vg_assert(len >= 0); in ML_()
313 vg_assert(ML_(cur_is_valid)(c)); in ML_()
330 vg_assert(sym->pri_name != NULL); in ML_()
331 vg_assert(sym->sec_names == NULL); in ML_()
351 vg_assert(di->symtab_used <= di->symtab_size); in ML_()
362 default: vg_assert(0); in ML_()
[all …]
Dimage.c160 vg_assert(nRead < len); in my_read()
162 vg_assert(nNeeded > 0); in my_read()
178 vg_assert(nWritten < len); in my_write()
180 vg_assert(nStillToDo > 0); in my_write()
239 vg_assert(req->n_data >= 4); // else ill formed -- no KIND field in do_transaction()
274 vg_assert(fr && fr->data); in free_Frame()
281 vg_assert(VG_(strlen)(tag) == 4); in mk_Frame_noargs()
292 vg_assert(VG_(strlen)(tag) == 4); in mk_Frame_le64_le64_le64()
305 vg_assert(VG_(strlen)(tag) == 4); in mk_Frame_asciiz()
312 vg_assert(f->data[4 + n_str] == 0); in mk_Frame_asciiz()
[all …]
Ddebuginfo.c131 vg_assert(di != NULL); in move_DebugInfo_one_step_forward()
141 vg_assert(di0 == di); in move_DebugInfo_one_step_forward()
147 vg_assert(di2->next == di1); in move_DebugInfo_one_step_forward()
148 vg_assert(di1->next == di0); in move_DebugInfo_one_step_forward()
157 vg_assert(debugInfo_list == di1); in move_DebugInfo_one_step_forward()
158 vg_assert(di1->next == di0); in move_DebugInfo_one_step_forward()
182 vg_assert(filename); in alloc_DebugInfo()
214 vg_assert(di != NULL); in free_DebugInfo()
285 vg_assert(arange->vars); in free_DebugInfo()
288 vg_assert(var); in free_DebugInfo()
[all …]
Dreaddwarf3.c198 vg_assert(c); in init_Cursor()
204 vg_assert(is_sane_Cursor(c)); in init_Cursor()
208 vg_assert(is_sane_Cursor(c)); in is_at_end_Cursor()
213 vg_assert(is_sane_Cursor(c)); in get_position_of_Cursor()
218 vg_assert(is_sane_Cursor(c)); in set_position_of_Cursor()
222 vg_assert(is_sane_Cursor(c)); in advance_position_of_Cursor()
226 vg_assert(is_sane_Cursor(c)); in get_remaining_length_Cursor()
243 vg_assert(is_sane_Cursor(c)); in get_UChar()
247 vg_assert(0); in get_UChar()
255 vg_assert(is_sane_Cursor(c)); in get_UShort()
[all …]
Dtytypes.c63 vg_assert(0); in ML_()
193 vg_assert(0); in ML_()
223 vg_assert(ent->tag == Te_Bound); in pp_TyBound_C_ishly()
319 vg_assert(0); in ML_()
391 vg_assert(first == last); in ML_()
434 vg_assert( ((UWord)a) <= 1 ); in Bool__cmp()
435 vg_assert( ((UWord)b) <= 1 ); in Bool__cmp()
465 vg_assert(n >= 0); in Bytevector__cmp()
578 vg_assert(0); in ML_()
637 vg_assert(0); in ML_()
[all …]
/external/valgrind/memcheck/tests/
Dunit_oset.c22 #undef vg_assert
23 #define vg_assert(e) assert(e) macro
94 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) ); in example1singleset()
95 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) ); in example1singleset()
96 vg_assert( ! VG_(OSetGen_Remove)(oset, &v) ); in example1singleset()
97 vg_assert( ! VG_(OSetGen_Next)(oset) ); in example1singleset()
98 vg_assert( 0 == VG_(OSetGen_Size)(oset) ); in example1singleset()
122 vg_assert( NN == VG_(OSetGen_Size)(oset) ); in example1singleset()
204 vg_assert( ! VG_(OSetGen_Next)(oset) ); in example1singleset()
205 vg_assert( ! VG_(OSetGen_Next)(oset) ); in example1singleset()
[all …]
/external/valgrind/coregrind/m_initimg/
Dinitimg-linux.c77 vg_assert( VG_(args_the_exename) != NULL); in load_client()
128 vg_assert(origenv); in setup_client_env()
129 vg_assert(toolname); in setup_client_env()
192 vg_assert(envc == (cpp - ret)); in setup_client_env()
412 vg_assert(VG_IS_PAGE_ALIGNED(clstack_end+1)); in setup_client_stack()
413 vg_assert( VG_(args_for_client) ); in setup_client_stack()
521 vg_assert(VG_STACK_REDZONE_SZB >= 0); in setup_client_stack()
522 vg_assert(VG_STACK_REDZONE_SZB < VKI_PAGE_SIZE); in setup_client_stack()
524 vg_assert(resvn_size > VKI_PAGE_SIZE); in setup_client_stack()
530 vg_assert(VG_IS_PAGE_ALIGNED(anon_size)); in setup_client_stack()
[all …]
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-main.c363 vg_assert(0); in do_syscall_for_client()
371 vg_assert(VG_SOLARIS_SYSNO_CLASS(syscallno) in do_syscall_for_client()
433 vg_assert(s1->what == s2->what); in eq_SyscallStatus()
437 vg_assert(0); in eq_SyscallStatus()
599 vg_assert(canonical->sysno != 0); in getSyscallArgsFromGuestState()
623 vg_assert(canonical->sysno >= 0); in getSyscallArgsFromGuestState()
639 vg_assert(canonical->sysno < 0); in getSyscallArgsFromGuestState()
644 vg_assert(canonical->sysno >= 0); in getSyscallArgsFromGuestState()
648 vg_assert(0); in getSyscallArgsFromGuestState()
656 vg_assert(trc == VEX_TRC_JMP_SYS_SYSCALL); in getSyscallArgsFromGuestState()
[all …]

12345