xref: /illumos-gate/usr/src/tools/smatch/src/validation/expand/function-pointer.c (revision 440a8a36792bdf9ef51639066aab0b7771ffcab8)
1 struct s {
2 	int (*fun)(void);
3 };
4 
5 inline struct s *inl(struct s *p)
6 {
7 	1 + 0;
8 	return p;
9 }
10 
11 static void tst(struct s *s)
12 {
13 	inl(s)->fun();
14 }
15 
16 /*
17  * check-name: function-pointer
18  * check-command: test-linearize -fdump-ir $file
19  *
20  * check-output-ignore
21  * check-output-excludes: add\\.32.*\\$1, \\$0
22  */
23