derek/gem5
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

systemc: Add a range check to the intial value of sc_semaphore.

Browse Source 
Change-Id: I4e1ef90b14074e5a2794a4386e411397213b2789
Reviewed-on: https://gem5-review.googlesource.com/c/13304
Reviewed-by: Gabe Black <gabeblack@google.com>
Maintainer: Gabe Black <gabeblack@google.com>
This commit is contained in:
Gabe Black
2018-10-05 16:12:11 -07:00
parent 3287171e08
commit 1f4e379119
1 changed files with 13 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
src/systemc/channel/sc_semaphore.cc
View File

@@ -27,21 +27,29 @@
* Authors: Gabe Black
*/
#include <string>
#include "base/logging.hh"
#include "systemc/ext/channel/sc_semaphore.hh"
#include "systemc/ext/core/sc_module.hh" // for sc_gen_unique_name
#include "systemc/ext/utils/sc_report_handler.hh"
namespace sc_core
{
sc_semaphore::sc_semaphore(int value) :
sc_interface(), sc_semaphore_if(),
sc_object(sc_gen_unique_name("semaphore")), _value(value)
sc_semaphore(sc_gen_unique_name("semaphore"), value)
{}
sc_semaphore::sc_semaphore(const char *name, int value) :
sc_interface(), sc_semaphore_if(), sc_object(name), _value(value)
{}
sc_semaphore::sc_semaphore(const char *_name, int value) :
sc_interface(), sc_semaphore_if(), sc_object(_name), _value(value)
{
if (value < 0) {
std::string msg = "semaphore '" + std::string(name()) + "'";
SC_REPORT_ERROR("(E119) sc_semaphore requires an initial value >= 0",
msg.c_str());
}
}
int
sc_semaphore::wait()