diff options
| author | Paul Tagliamonte <paultag@fluxbox.org> | 2011-11-11 14:29:57 (GMT) |
|---|---|---|
| committer | Mathias Gumz <akira at fluxbox dot org> | 2012-01-04 06:43:21 (GMT) |
| commit | 0f994dbb28e2a348f7c254e051622acf88e08226 (patch) | |
| tree | 09d698eada6e44a3426336ce90fddf82c5411e17 /src/WorkspaceNameTool.cc | |
| parent | a2cf6fff7b94cea7be87bb4e175c662c8c50a117 (diff) | |
| download | fluxbox-0f994dbb28e2a348f7c254e051622acf88e08226.zip fluxbox-0f994dbb28e2a348f7c254e051622acf88e08226.tar.bz2 | |
No need to check if a pointer is null before de-allocating it.
5.3.5/2 of the C++ standard:
"In either alternative, if the value of the operand of delete is the null
pointer the operation has no effect."
Diffstat (limited to 'src/WorkspaceNameTool.cc')
0 files changed, 0 insertions, 0 deletions