diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-29 12:34:32 -0700 |
| commit | 8a2d237f788d7650694efa5dead2cb09a75010ee (patch) | |
| tree | 00cdf97aba108cda41a5fec10cd0275042356ac2 /src/misc/vec/vecPtr.h | |
| parent | e8d690f2a4c9abde54bb248a97c0c619b187f238 (diff) | |
| download | abc-8a2d237f788d7650694efa5dead2cb09a75010ee.tar.gz abc-8a2d237f788d7650694efa5dead2cb09a75010ee.tar.bz2 abc-8a2d237f788d7650694efa5dead2cb09a75010ee.zip | |
Adding memory reporting to vectors.
Diffstat (limited to 'src/misc/vec/vecPtr.h')
| -rw-r--r-- | src/misc/vec/vecPtr.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h index 1d60ec50..8285ef58 100644 --- a/src/misc/vec/vecPtr.h +++ b/src/misc/vec/vecPtr.h @@ -314,6 +314,22 @@ static inline int Vec_PtrCap( Vec_Ptr_t * p ) SeeAlso [] ***********************************************************************/ +static inline double Vec_PtrMemory( Vec_Ptr_t * p ) +{ + return !p ? 0.0 : 1.0 * sizeof(void *) * p->nCap + sizeof(Vec_Ptr_t); +} + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ static inline int Vec_PtrCountZero( Vec_Ptr_t * p ) { int i, Counter = 0; |