diff options
| author | Øyvind Harboe <oyvind.harboe@zylin.com> | 2011-10-21 19:14:57 +0200 |
|---|---|---|
| committer | Øyvind Harboe <oyvindharboe@gmail.com> | 2011-10-23 11:57:34 +0000 |
| commit | c9f51acdc31a6277b9a743974fed06d390df221e (patch) | |
| tree | 003921de55400f304b9f85ae9115b9f6c7e8a1a4 | |
| parent | 4e079d18bffaed0372ab5b2f13cfd5d14db79d21 (diff) | |
clang: fix warning w/assert so that clang knows that there will be no division by zero
Change-Id: I98ac62a22f21043bb535a667a4f1f1537ccde2a4
Signed-off-by: Øyvind Harboe <oyvind.harboe@zylin.com>
Reviewed-on: http://openocd.zylin.com/42
Tested-by: jenkins
Reviewed-by: Øyvind Harboe <oyvindharboe@gmail.com>
| -rw-r--r-- | src/target/target.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/target/target.c b/src/target/target.c index b68eee36..d4cb577c 100644 --- a/src/target/target.c +++ b/src/target/target.c @@ -3317,7 +3317,8 @@ static void writeGmon(uint32_t *samples, uint32_t sampleNum, const char *filenam } } - int addressSpace = (max-min + 1); + int addressSpace = (max - min + 1); + assert(addressSpace >= 2); static const uint32_t maxBuckets = 16 * 1024; /* maximum buckets. */ uint32_t length = addressSpace; |