mirror of
https://github.com/nasa/trick.git
synced 2024-12-22 22:42:26 +00:00
8 lines
145 B
C++
8 lines
145 B
C++
|
// @trick_link_dependency{Warning.cpp}
|
||
|
|
|
||
|
|
/* This comment has an embedded /*, which causes a warning. */
|
||
|
|
|
||
|
|
static void foo() {
|
||
|
|
int i = 1 / 0;
|
||
|
|
}
|