Bug Summary

File:lib/Support/SmallVector.cpp
Warning:line 33, column 5
Null pointer passed as an argument to a 'nonnull' parameter

Annotated Source Code

1//===- llvm/ADT/SmallVector.cpp - 'Normally small' vectors ----------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the SmallVector class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "llvm/ADT/SmallVector.h"
15using namespace llvm;
16
17/// grow_pod - This is an implementation of the grow() method which only works
18/// on POD-like datatypes and is out of line to reduce code duplication.
19void SmallVectorBase::grow_pod(void *FirstEl, size_t MinSizeInBytes,
20 size_t TSize) {
21 size_t CurSizeBytes = size_in_bytes();
22 size_t NewCapacityInBytes = 2 * capacity_in_bytes() + TSize; // Always grow.
23 if (NewCapacityInBytes < MinSizeInBytes)
1
Taking false branch
24 NewCapacityInBytes = MinSizeInBytes;
25
26 void *NewElts;
27 if (BeginX == FirstEl) {
2
Assuming the condition is true
3
Taking true branch
28 NewElts = malloc(NewCapacityInBytes);
4
Value assigned to 'NewElts'
29 if (NewElts == nullptr)
5
Assuming pointer value is null
6
Taking true branch
30 report_bad_alloc_error("Allocation of SmallVector element failed.");
31
32 // Copy the elements over. No need to run dtors on PODs.
33 memcpy(NewElts, this->BeginX, CurSizeBytes);
7
Null pointer passed as an argument to a 'nonnull' parameter
34 } else {
35 // If this wasn't grown from the inline copy, grow the allocated space.
36 NewElts = realloc(this->BeginX, NewCapacityInBytes);
37 if (NewElts == nullptr)
38 report_bad_alloc_error("Reallocation of SmallVector element failed.");
39 }
40
41 this->EndX = (char*)NewElts+CurSizeBytes;
42 this->BeginX = NewElts;
43 this->CapacityX = (char*)this->BeginX + NewCapacityInBytes;
44}