Welcome! Log In Create A New Profile

Advanced

[njs] Miscellaneous issues found by Coverity Scan have been fixed.

March 24, 2016 11:18AM
details: http://hg.nginx.org/njs/rev/0354cdd7d114
branches:
changeset: 91:0354cdd7d114
user: Igor Sysoev <igor@sysoev.ru>
date: Thu Mar 24 17:13:27 2016 +0300
description:
Miscellaneous issues found by Coverity Scan have been fixed.

diffstat:

njs/njs_variable.c | 6 +-
njs/njs_vm.c | 226 ++++++++++++++++++++++++++--------------------------
2 files changed, 117 insertions(+), 115 deletions(-)

diffs (279 lines):

diff -r 027e0e8e7f61 -r 0354cdd7d114 njs/njs_variable.c
--- a/njs/njs_variable.c Thu Mar 24 14:22:08 2016 +0300
+++ b/njs/njs_variable.c Thu Mar 24 17:13:27 2016 +0300
@@ -62,7 +62,7 @@ njs_parser_variable(njs_vm_t *vm, njs_pa
njs_variable_t *var;
nxt_lvlhsh_query_t lhq;

- level = 0;
+ *level = 0;

lhq.key_hash = parser->lexer->key_hash;
lhq.key = parser->lexer->text;
@@ -90,11 +90,11 @@ njs_parser_variable(njs_vm_t *vm, njs_pa
}

scope = scope->parent;
- level++;
+ (*level)++;

} while (scope != NULL);

- level = 0;
+ *level = 0;

if (nxt_lvlhsh_find(&vm->variables_hash, &lhq) == NXT_OK) {
return lhq.value;
diff -r 027e0e8e7f61 -r 0354cdd7d114 njs/njs_vm.c
--- a/njs/njs_vm.c Thu Mar 24 14:22:08 2016 +0300
+++ b/njs/njs_vm.c Thu Mar 24 17:13:27 2016 +0300
@@ -161,128 +161,128 @@ njs_vmcode_interpreter(njs_vm_t *vm)
njs_native_frame_t *previous;
njs_vmcode_generic_t *vmcode;

+ start:
+
for ( ;; ) {

- again:
+ vmcode = (njs_vmcode_generic_t *) vm->current;
+
+ /*
+ * The first operand is passed as is in value2 to
+ * njs_vmcode_jump(),
+ * njs_vmcode_if_true_jump(),
+ * njs_vmcode_if_false_jump(),
+ * njs_vmcode_validate(),
+ * njs_vmcode_function_frame(),
+ * njs_vmcode_function_call(),
+ * njs_vmcode_return(),
+ * njs_vmcode_try_start(),
+ * njs_vmcode_try_next(),
+ * njs_vmcode_try_end(),
+ * njs_vmcode_catch().
+ * njs_vmcode_throw().
+ * njs_vmcode_stop().
+ */
+ value2 = (njs_value_t *) vmcode->operand1;
+ value1 = NULL;
+
+ switch (vmcode->code.operands) {
+
+ case NJS_VMCODE_3OPERANDS:
+ value2 = njs_vmcode_operand(vm, vmcode->operand3);
+
+ /* Fall through. */
+
+ case NJS_VMCODE_2OPERANDS:
+ value1 = njs_vmcode_operand(vm, vmcode->operand2);
+ }
+
+ ret = vmcode->code.operation(vm, value1, value2);
+
+ /*
+ * On success an operation returns size of the bytecode,
+ * a jump offset or zero after the call or return operations.
+ * Jumps can return a negative offset. Compilers can generate
+ * (ret < 0 && ret >= NJS_PREEMPT)
+ * as a single unsigned comparision.
+ */
+
+ if (nxt_slow_path(ret < 0 && ret >= NJS_PREEMPT)) {
+ break;
+ }
+
+ vm->current += ret;
+
+ if (vmcode->code.retval) {
+ retval = njs_vmcode_operand(vm, vmcode->operand1);
+ //njs_release(vm, retval);
+ *retval = vm->retval;
+ }
+ }
+
+ switch (ret) {
+
+ case NJS_TRAP_NUMBER:
+ value2 = value1;
+
+ /* Fall through. */
+
+ case NJS_TRAP_NUMBERS:
+ case NJS_TRAP_STRINGS:
+ case NJS_TRAP_INCDEC:
+ case NJS_TRAP_PROPERTY:
+
+ njs_vm_trap(vm, ret - NJS_TRAP_BASE, value1, value2);
+
+ goto start;
+
+ case NJS_TRAP_NUMBER_ARG:
+ case NJS_TRAP_STRING_ARG:
+
+ ret = njs_vm_trap_argument(vm, ret - NJS_TRAP_BASE);
+ if (nxt_fast_path(ret == NXT_OK)) {
+ goto start;
+ }
+
+ break;
+
+ default:
+ break;
+ }
+
+ if (ret == NXT_ERROR) {
+
for ( ;; ) {
-
- vmcode = (njs_vmcode_generic_t *) vm->current;
-
- /*
- * The first operand is passed as is in value2 to
- * njs_vmcode_jump(),
- * njs_vmcode_if_true_jump(),
- * njs_vmcode_if_false_jump(),
- * njs_vmcode_validate(),
- * njs_vmcode_function_frame(),
- * njs_vmcode_function_call(),
- * njs_vmcode_return(),
- * njs_vmcode_try_start(),
- * njs_vmcode_try_next(),
- * njs_vmcode_try_end(),
- * njs_vmcode_catch().
- * njs_vmcode_throw().
- * njs_vmcode_stop().
- */
- value2 = (njs_value_t *) vmcode->operand1;
- value1 = NULL;
-
- switch (vmcode->code.operands) {
-
- case NJS_VMCODE_3OPERANDS:
- value2 = njs_vmcode_operand(vm, vmcode->operand3);
-
- case NJS_VMCODE_2OPERANDS:
- value1 = njs_vmcode_operand(vm, vmcode->operand2);
+ frame = (njs_frame_t *) vm->frame;
+ catch = frame->native.exception.catch;
+
+ if (catch != NULL) {
+ vm->current = catch;
+ goto start;
}

- ret = vmcode->code.operation(vm, value1, value2);
-
- /*
- * On success an operation returns size of the bytecode,
- * a jump offset or zero after the call or return operations.
- * Jumps can return a negative offset. Compilers can generate
- * (ret < 0 && ret >= NJS_PREEMPT)
- * as a single unsigned comparision.
- */
-
- if (nxt_slow_path(ret < 0 && ret >= NJS_PREEMPT)) {
- break;
+ previous = frame->native.previous;
+ if (previous == NULL) {
+ return NXT_ERROR;
}

- vm->current += ret;
-
- if (vmcode->code.retval) {
- retval = njs_vmcode_operand(vm, vmcode->operand1);
- //njs_release(vm, retval);
- *retval = vm->retval;
+ vm->frame = previous;
+
+ /* GC: NJS_SCOPE_ARGUMENTS and NJS_SCOPE_LOCAL. */
+
+ vm->scopes[NJS_SCOPE_CALLEE_ARGUMENTS] = previous->arguments;
+ vm->scopes[NJS_SCOPE_LOCAL] = frame->prev_local;
+ vm->scopes[NJS_SCOPE_ARGUMENTS] = frame->prev_arguments;
+
+ if (frame->native.first) {
+ nxt_mem_cache_free(vm->mem_cache_pool, frame);
}
}
-
- switch (ret) {
-
- case NJS_TRAP_NUMBER:
- value2 = value1;
-
- /* Fall through. */
-
- case NJS_TRAP_NUMBERS:
- case NJS_TRAP_STRINGS:
- case NJS_TRAP_INCDEC:
- case NJS_TRAP_PROPERTY:
-
- njs_vm_trap(vm, ret - NJS_TRAP_BASE, value1, value2);
-
- goto again;
-
- case NJS_TRAP_NUMBER_ARG:
- case NJS_TRAP_STRING_ARG:
-
- ret = njs_vm_trap_argument(vm, ret - NJS_TRAP_BASE);
- if (nxt_fast_path(ret == NXT_OK)) {
- goto again;
- }
-
- break;
-
- default:
- break;
- }
-
- if (ret == NXT_ERROR) {
-
- for ( ;; ) {
- frame = (njs_frame_t *) vm->frame;
- catch = frame->native.exception.catch;
-
- if (catch != NULL) {
- vm->current = catch;
- goto again;
- }
-
- previous = frame->native.previous;
- if (previous == NULL) {
- return NXT_ERROR;
- }
-
- vm->frame = previous;
-
- /* GC: NJS_SCOPE_ARGUMENTS and NJS_SCOPE_LOCAL. */
-
- vm->scopes[NJS_SCOPE_CALLEE_ARGUMENTS] = previous->arguments;
- vm->scopes[NJS_SCOPE_LOCAL] = frame->prev_local;
- vm->scopes[NJS_SCOPE_ARGUMENTS] = frame->prev_arguments;
-
- if (frame->native.first) {
- nxt_mem_cache_free(vm->mem_cache_pool, frame);
- }
- }
- }
-
- /* NXT_AGAIN, NJS_STOP. */
-
- return ret;
}
+
+ /* NXT_AGAIN, NJS_STOP. */
+
+ return ret;
}


@@ -517,6 +517,8 @@ njs_vmcode_property_get(njs_vm_t *vm, nj
prop = pq.lhq.value;
}

+ /* Fall through. */
+
case NJS_PROPERTY:
retval = &prop->value;
break;

_______________________________________________
nginx-devel mailing list
nginx-devel@nginx.org
http://mailman.nginx.org/mailman/listinfo/nginx-devel
Subject Author Views Posted

[njs] Miscellaneous issues found by Coverity Scan have been fixed.

Igor Sysoev 562 March 24, 2016 11:18AM



Sorry, you do not have permission to post/reply in this forum.

Online Users

Guests: 170
Record Number of Users: 8 on April 13, 2023
Record Number of Guests: 421 on December 02, 2018
Powered by nginx      Powered by FreeBSD      PHP Powered      Powered by MariaDB      ipv6 ready