Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
bgColor#FFcccc
void f1 (size_t nchars) {

	char *p = (char *)malloc(nchars);
	const size_t n = nchars + 1;

	memset(p, 0, n);

	/* More program code */

}

...

Code Block
bgColor#ccccff
void f1 (size_t nchars, size_t val) {

	char *p = (char *)malloc(nchars);
	const size_t n = val;

	if (nchars - n < 0) {

     		/* Handle Error */

	}

	else {

		memset(p, 0, n);

	}

}

...

Code Block
bgColor#FFcccc
void f2() {

	float a[4];
	const size_t n= sizeof(int) * 4;
	void *p = a;


	memset(p, 0, n);
	/* More program code */

}

...

Code Block
bgColor#ccccff
void f2() {

	float a[4];
	const size_t n= sizeof(float) * 4;
	void *p = a;

	memset(p, 0, n);
	/* More program code */

}

...

Code Block
bgColor#FFcccc
void f3(int *a) {

	float b = 3.14;
	const size_t n = sizeof(*b);
	void *p = a;
	void *q = &b;

	memcpy(p, q, n);
	/* More program code */

}

...

Code Block
bgColor#ccccff
void f3(int *a) {

	float b = 3.14;
	const size_t n = sizeof(*b);
	void *p = a;
	void *q = &b;


	if (n <= size(*p) && n <= size(*q)) {
		memcpy(p, q, n);
	}


	else {
		/* Handle Error */
	}

}

...