libtrycatch  Check-in [d6132d89e1]

Overview
Comment:Never issue a warning if the exception is unused
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: d6132d89e16f05209ee2eb05792cbd44d7b100c0a6bf8fde2132229fcd913eab
User & Date: js 2017-01-22 15:55:26
Context
2017-01-22
15:55
Demonstrate rethrow in the example check-in: 0a653c9820 user: js tags: trunk
15:55
Never issue a warning if the exception is unused check-in: d6132d89e1 user: js tags: trunk
15:48
Rename the include guard check-in: 86d6342f24 user: js tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to example.c.

︙︙
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

{
	try {
		puts("try1");

		try {
			puts("try2");
		} catch (ex) {
			(void)ex;
			puts("this should not be called");
		}

		throw(5);
	} catch (ex) {
		printf("caught %d (should be 5)\n", ex);
	}

	try {
		throw(1);
		return 1;
	} catch (ex) {
		(void)ex;
	}

	return 0;
}








<












<





33
34
35
36
37
38
39

40
41
42
43
44
45
46
47
48
49
50
51

52
53
54
55

{
	try {
		puts("try1");

		try {
			puts("try2");
		} catch (ex) {

			puts("this should not be called");
		}

		throw(5);
	} catch (ex) {
		printf("caught %d (should be 5)\n", ex);
	}

	try {
		throw(1);
		return 1;
	} catch (ex) {

	}

	return 0;
}

Changes to trycatch.h.

︙︙
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

	jmp_buf TRYCATCH_CONCAT(trycatch_jmpbuf, __LINE__);		   \
	TRYCATCH_CONCAT(trycatch_frame, __LINE__) = trycatch_frame_push(); \
	trycatch_ex = setjmp(TRYCATCH_CONCAT(trycatch_jmpbuf, __LINE__));  \
	if (trycatch_ex == 0)						   \
		TRYCATCH_CONCAT(trycatch_frame, __LINE__)->jmpbuf =	   \
		    &TRYCATCH_CONCAT(trycatch_jmpbuf, __LINE__);	   \
	if (trycatch_ex == 0)
#define catch(ex)							\
	trycatch_frame_pop();						\
	for (int ex = trycatch_ex; trycatch_ex != 0; trycatch_ex = 0)
#define throw(ex) trycatch_throw(ex)
#define rethrow trycatch_throw(trycatch_ex)

struct trycatch_frame {
	jmp_buf *jmpbuf;
	struct trycatch_frame *prev;
};








|
|
|








41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

	jmp_buf TRYCATCH_CONCAT(trycatch_jmpbuf, __LINE__);		   \
	TRYCATCH_CONCAT(trycatch_frame, __LINE__) = trycatch_frame_push(); \
	trycatch_ex = setjmp(TRYCATCH_CONCAT(trycatch_jmpbuf, __LINE__));  \
	if (trycatch_ex == 0)						   \
		TRYCATCH_CONCAT(trycatch_frame, __LINE__)->jmpbuf =	   \
		    &TRYCATCH_CONCAT(trycatch_jmpbuf, __LINE__);	   \
	if (trycatch_ex == 0)
#define catch(ex)							       \
	trycatch_frame_pop();						       \
	for (int ex = trycatch_ex; trycatch_ex != 0; trycatch_ex = 0, (void)ex)
#define throw(ex) trycatch_throw(ex)
#define rethrow trycatch_throw(trycatch_ex)

struct trycatch_frame {
	jmp_buf *jmpbuf;
	struct trycatch_frame *prev;
};
︙︙