RTOS/rtems
1
0
Fork 0
forked from Imagelibrary/rtems
Code Pull Requests Activity

2011-12-06 Ralf Corsépius <ralf.corsepius@rtems.org>

Browse Source 
* score/src/schedulercbsattachthread.c,
	score/src/schedulercbsdestroyserver.c,
	score/src/schedulercbsdetachthread.c,
	score/src/schedulercbsgetapprovedbudget.c,
	score/src/schedulercbsgetexecutiontime.c,
	score/src/schedulercbsgetparameters.c,
	score/src/schedulercbsgetremainingbudget.c,
	score/src/schedulercbssetparameters.c:
	Remove checks for server_id < 0 (server_id is unsigned).
This commit is contained in:
Ralf Corsepius
2011-12-06 07:12:42 +00:00
parent e2bcb3217b
commit 04bf7cbf60
9 changed files with 20 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
cpukit/ChangeLog
View File

@@ -1,3 +1,15 @@
2011-12-06 Ralf Corsépius <ralf.corsepius@rtems.org>
* score/src/schedulercbsattachthread.c,
score/src/schedulercbsdestroyserver.c,
score/src/schedulercbsdetachthread.c,
score/src/schedulercbsgetapprovedbudget.c,
score/src/schedulercbsgetexecutiontime.c,
score/src/schedulercbsgetparameters.c,
score/src/schedulercbsgetremainingbudget.c,
score/src/schedulercbssetparameters.c:
Remove checks for server_id < 0 (server_id is unsigned).
2011-12-06 Ralf Corsépius <ralf.corsepius@rtems.org>
* posix/src/pspinlocktranslatereturncode.c:

2
cpukit/score/src/schedulercbsattachthread.c
View File

@@ -28,7 +28,7 @@ int _Scheduler_CBS_Attach_thread (
Thread_Control *the_thread;
Scheduler_CBS_Per_thread *sched_info;
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
the_thread = _Thread_Get(task_id, &location);

2
cpukit/score/src/schedulercbsdestroyserver.c
View File

@@ -25,7 +25,7 @@ int _Scheduler_CBS_Destroy_server (
int ret = SCHEDULER_CBS_OK;
rtems_id tid;
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( !_Scheduler_CBS_Server_list[server_id] )

2
cpukit/score/src/schedulercbsdetachthread.c
View File

@@ -33,7 +33,7 @@ int _Scheduler_CBS_Detach_thread (
_Thread_Enable_dispatch();
}
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( !the_thread )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;

2
cpukit/score/src/schedulercbsgetapprovedbudget.c
View File

@@ -23,7 +23,7 @@ int _Scheduler_CBS_Get_approved_budget (
time_t *approved_budget
)
{
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( !_Scheduler_CBS_Server_list[server_id] )
return SCHEDULER_CBS_ERROR_NOSERVER;

2
cpukit/score/src/schedulercbsgetexecutiontime.c
View File

@@ -27,7 +27,7 @@ int _Scheduler_CBS_Get_execution_time (
Objects_Locations location;
Thread_Control *the_thread;
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( !_Scheduler_CBS_Server_list[server_id] )
return SCHEDULER_CBS_ERROR_NOSERVER;

2
cpukit/score/src/schedulercbsgetparameters.c
View File

@@ -23,7 +23,7 @@ int _Scheduler_CBS_Get_parameters (
Scheduler_CBS_Parameters *params
)
{
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( !_Scheduler_CBS_Server_list[server_id] )
return SCHEDULER_CBS_ERROR_NOSERVER;

2
cpukit/score/src/schedulercbsgetremainingbudget.c
View File

@@ -26,7 +26,7 @@ int _Scheduler_CBS_Get_remaining_budget (
Objects_Locations location;
Thread_Control *the_thread;
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( !_Scheduler_CBS_Server_list[server_id] )
return SCHEDULER_CBS_ERROR_NOSERVER;

2
cpukit/score/src/schedulercbssetparameters.c
View File

@@ -23,7 +23,7 @@ int _Scheduler_CBS_Set_parameters (
Scheduler_CBS_Parameters *params
)
{
if ( server_id < 0 || server_id >= _Scheduler_CBS_Maximum_servers )
if ( server_id >= _Scheduler_CBS_Maximum_servers )
return SCHEDULER_CBS_ERROR_INVALID_PARAMETER;
if ( params->budget <= 0 ||