assertは、コードの診断に使うもので、ある式を評価し、それが偽であれば、そのプログラムを中止する。
assert.cで、
x >= 0
という式を診断するので、xが-1以下なら、プログラムが中止となる。
$ vi assert.c $ gcc assert.c -o assert $ ./assert x: 10 x = 10 $ ./assert x: 0 x = 0 $ ./assert x: -1 assert: assert.c:16: main: Assertion `x >= 0' failed. Aborted (コアダンプ) $
xが10や0なら、printf出力されているが、-1の場合は"Aborted"と出て、printf出力されずに中止になっている。
Sample/c/assert/assert/src/assert at master · bg1bgst333/Sample · GitHub