diff options
| author | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-02 23:54:35 +0000 |
| commit | e5fb770e7d9aac53a513965c0f2bcf360934794b (patch) | |
| tree | d8d581ec8f694a4811172b401e4dcda68898954a /build/names.c | |
| parent | 77076c7c8d83f8b783634c7328b132b938389987 (diff) | |
| download | librpm-tizen-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.gz librpm-tizen-e5fb770e7d9aac53a513965c0f2bcf360934794b.tar.bz2 librpm-tizen-e5fb770e7d9aac53a513965c0f2bcf360934794b.zip | |
Add boundsread annotations throughout, enable +bounds checking.
Start narrowing the scope of bounds annotations by adding more annotations.
CVS patchset: 5537
CVS date: 2002/07/02 23:54:35
Diffstat (limited to 'build/names.c')
| -rw-r--r-- | build/names.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build/names.c b/build/names.c index aecb943c4..3743cfcd2 100644 --- a/build/names.c +++ b/build/names.c @@ -185,8 +185,10 @@ int_32 *const getBuildTime(void) { static int_32 buildTime[1]; +/*@-boundsread@*/ if (buildTime[0] == 0) buildTime[0] = (int_32) time(NULL); +/*@=boundsread@*/ return buildTime; } |