mirror of
https://github.com/nasa/trick.git
synced 2024-12-20 21:53:10 +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;
|
|
}
|