Home
last modified time | relevance | path

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

12345

/external/valgrind/coregrind/
Dm_vki.c72 vg_assert( 8 * sizeof(set) == _VKI_NSIG ); in VG_()
74 vg_assert( 8 * sizeof(set.sig[0]) == _VKI_NSIG_BPW ); in VG_()
76 vg_assert( _VKI_NSIG_BPW == 32 || _VKI_NSIG_BPW == 64 ); in VG_()
83 vg_assert(_VKI_NSIG == NSIG); in VG_()
84 vg_assert(_VKI_NSIG == 32); in VG_()
85 vg_assert(_VKI_NSIG_WORDS == 1); in VG_()
86 vg_assert(sizeof(sigset_t) /* defined by Darwin */ in VG_()
96 vg_assert( sizeof(vki_sigaction_toK_t) in VG_()
101 vg_assert( sizeof(vki_sigaction_toK_t) in VG_()
104 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.c537 vg_assert(sNo < n_sectors); in index_tteC()
538 vg_assert(tteNo < N_TTES_PER_SECTOR); in index_tteC()
540 vg_assert(s->ttC && s->ttH); in index_tteC()
543 vg_assert(tteH->status == InUse); in index_tteC()
549 vg_assert(sNo < n_sectors); in index_tteH()
550 vg_assert(tteNo < N_TTES_PER_SECTOR); in index_tteH()
552 vg_assert(s->ttH); in index_tteH()
554 vg_assert(tteH->status == InUse); in index_tteH()
586 vg_assert(iea->n_fixed == 0); in InEdgeArr__size()
589 vg_assert(iea->n_fixed <= N_FIXED_IN_EDGE_ARR); in InEdgeArr__size()
[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_deduppoolalloc.c92 vg_assert(poolSzB >= eltAlign); in VG_()
93 vg_assert(poolSzB >= 100); /* let's say */ in VG_()
94 vg_assert(poolSzB >= 10*eltAlign); /* let's say */ in VG_()
95 vg_assert(alloc_fn); in VG_()
96 vg_assert(cc); in VG_()
97 vg_assert(free_fn); in VG_()
144 vg_assert(ddpa); in ddpa_add_new_pool_or_grow()
244 vg_assert (!ddpa->fixedSzb || VG_(sizeXA) (ddpa->pools) == 1); in VG_()
272 vg_assert(ddpa); in allocEltDedupPA()
273 vg_assert(ddpa->ht_elements); in allocEltDedupPA()
[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()
346 vg_assert(sizeof(void*) == sizeof(UWord)); in record_ExeContext_wrk()
347 vg_assert(sizeof(void*) == sizeof(Addr)); in record_ExeContext_wrk()
349 vg_assert(VG_(is_valid_tid)(tid)); in record_ExeContext_wrk()
411 vg_assert(n_ips >= 1 && n_ips <= VG_(clo_backtrace_size)); in record_ExeContext_wrk2()
445 vg_assert(prev2->chain == prev); in record_ExeContext_wrk2()
[all …]
Dm_mallocfree.c445 vg_assert( VG_(clo_profile_heap) ); in set_cc()
452 vg_assert( VG_(clo_profile_heap) ); in get_cc()
547 vg_assert(arena >= 0 && arena < VG_N_ARENAS); in arenaId_to_ArenaP()
554 vg_assert(arena >= 0 && arena < VG_N_ARENAS); in arenaP_to_ArenaId()
569 vg_assert(rz_szB <= MAX_REDZONE_SZB); in arena_init()
592 vg_assert(overhead_szB_lo(a) - hp_overhead_szB() == overhead_szB_hi(a)); in arena_init()
597 vg_assert((min_sblock_szB % VKI_PAGE_SIZE) == 0); in arena_init()
623 vg_assert(sizeof(a->sblocks_initial) in arena_init()
654 vg_assert( VG_(clo_profile_heap) ); in VG_()
698 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.c62 vg_assert(dir != NULL); in read_dot_valgrindrc()
80 vg_assert(n >= 0 && n <= stat_buf.size+1); in read_dot_valgrindrc()
103 vg_assert(cp); in add_args_from_string()
167 vg_assert(!already_called); in VG_()
173 vg_assert( ! VG_(args_for_valgrind) ); in VG_()
178 vg_assert( ! VG_(args_for_client) ); in VG_()
186 vg_assert(argv[i]); in VG_()
200 vg_assert(argv[i]); in VG_()
207 vg_assert(argv[i]); in VG_()
Dm_rangemap.c71 vg_assert(alloc_fn); in VG_()
72 vg_assert(free_fn); in VG_()
84 vg_assert(i == 0); in VG_()
85 vg_assert(VG_(sizeXA)(rm->ranges) == 1); in VG_()
92 vg_assert(rm); in VG_()
93 vg_assert(rm->free_fn); in VG_()
94 vg_assert(rm->ranges); in VG_()
102 vg_assert(key_min <= key_max); in VG_()
128 vg_assert(rm && rm->ranges); in VG_()
130 vg_assert(size >= 0); in VG_()
[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/
Dimage.c132 vg_assert(img); in is_sane_CEnt()
133 vg_assert(i <= CACHE_N_ENTRIES); in is_sane_CEnt()
223 vg_assert(nRead < len); in my_read()
225 vg_assert(nNeeded > 0); in my_read()
241 vg_assert(nWritten < len); in my_write()
243 vg_assert(nStillToDo > 0); in my_write()
302 vg_assert(req->n_data >= 4); // else ill formed -- no KIND field in do_transaction()
337 vg_assert(fr && fr->data); in free_Frame()
344 vg_assert(VG_(strlen)(tag) == 4); in mk_Frame_noargs()
355 vg_assert(VG_(strlen)(tag) == 4); in mk_Frame_le64_le64_le64()
[all …]
Dstorage.c98 vg_assert(sym->pri_name); in ML_()
100 vg_assert(sec_names); in ML_()
142 vg_assert(0+0); \ in ML_()
185 vg_assert(0); in ML_()
240 vg_assert(len >= 0); in ML_()
304 vg_assert(ML_(cur_is_valid)(c)); in ML_()
321 vg_assert(sym->pri_name != NULL); in ML_()
322 vg_assert(sym->sec_names == NULL); in ML_()
342 vg_assert(di->symtab_used <= di->symtab_size); in ML_()
353 default: vg_assert(0); in ML_()
[all …]
Ddebuginfo.c130 vg_assert(di != NULL); in move_DebugInfo_one_step_forward()
140 vg_assert(di0 == di); in move_DebugInfo_one_step_forward()
146 vg_assert(di2->next == di1); in move_DebugInfo_one_step_forward()
147 vg_assert(di1->next == di0); in move_DebugInfo_one_step_forward()
156 vg_assert(debugInfo_list == di1); in move_DebugInfo_one_step_forward()
157 vg_assert(di1->next == di0); in move_DebugInfo_one_step_forward()
181 vg_assert(filename); in alloc_DebugInfo()
213 vg_assert(di != NULL); in free_DebugInfo()
284 vg_assert(arange->vars); in free_DebugInfo()
287 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
95 vg_assert( ! VG_(OSetGen_Contains)(oset, &v) ); in example1singleset()
96 vg_assert( ! VG_(OSetGen_Lookup)(oset, &v) ); in example1singleset()
97 vg_assert( ! VG_(OSetGen_Remove)(oset, &v) ); in example1singleset()
98 vg_assert( ! VG_(OSetGen_Next)(oset) ); in example1singleset()
99 vg_assert( 0 == VG_(OSetGen_Size)(oset) ); in example1singleset()
123 vg_assert( NN == VG_(OSetGen_Size)(oset) ); in example1singleset()
205 vg_assert( ! VG_(OSetGen_Next)(oset) ); in example1singleset()
206 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()
127 vg_assert(origenv); in setup_client_env()
128 vg_assert(toolname); in setup_client_env()
191 vg_assert(envc == (cpp - ret)); in setup_client_env()
411 vg_assert(VG_IS_PAGE_ALIGNED(clstack_end+1)); in setup_client_stack()
412 vg_assert( VG_(args_for_client) ); in setup_client_stack()
520 vg_assert(VG_STACK_REDZONE_SZB >= 0); in setup_client_stack()
521 vg_assert(VG_STACK_REDZONE_SZB < VKI_PAGE_SIZE); in setup_client_stack()
523 vg_assert(resvn_size > VKI_PAGE_SIZE); in setup_client_stack()
529 vg_assert(VG_IS_PAGE_ALIGNED(anon_size)); in setup_client_stack()
[all …]
/external/valgrind/coregrind/m_syswrap/
Dsyswrap-main.c364 vg_assert(0); in do_syscall_for_client()
372 vg_assert(VG_SOLARIS_SYSNO_CLASS(syscallno) in do_syscall_for_client()
434 vg_assert(s1->what == s2->what); in eq_SyscallStatus()
438 vg_assert(0); in eq_SyscallStatus()
601 vg_assert(canonical->sysno != 0); in getSyscallArgsFromGuestState()
625 vg_assert(canonical->sysno >= 0); in getSyscallArgsFromGuestState()
641 vg_assert(canonical->sysno < 0); in getSyscallArgsFromGuestState()
646 vg_assert(canonical->sysno >= 0); in getSyscallArgsFromGuestState()
650 vg_assert(0); in getSyscallArgsFromGuestState()
658 vg_assert(trc == VEX_TRC_JMP_SYS_SYSCALL); in getSyscallArgsFromGuestState()
[all …]
Dsyswrap-x86-darwin.c104 vg_assert(count == i386_THREAD_STATE_COUNT); in thread_state_from_vex()
109 vg_assert(count == i386_FLOAT_STATE_COUNT); in thread_state_from_vex()
114 vg_assert(0); in thread_state_from_vex()
159 vg_assert(count == i386_THREAD_STATE_COUNT); in thread_state_to_vex()
163 vg_assert(count == i386_FLOAT_STATE_COUNT); in thread_state_to_vex()
168 vg_assert(0); in thread_state_to_vex()
181 vg_assert(flavor == i386_THREAD_STATE); in build_thread()
182 vg_assert(count == i386_THREAD_STATE_COUNT); in build_thread()
208 vg_assert(flavor == i386_THREAD_STATE); in hijack_thread_state()
209 vg_assert(count == i386_THREAD_STATE_COUNT); in hijack_thread_state()
[all …]

12345