| /dports/devel/splint/splint-3.1.2/src/Headers/ |
| H A D | fileloc.h | 32 extern fileloc fileloc_update (/*@only@*/ fileloc p_old, fileloc p_fnew)
42 extern fileloc fileloc_decColumn (fileloc p_f, int p_x) /*@*/ ;
51 extern bool fileloc_sameBaseFile (fileloc p_f1, fileloc p_f2) /*@*/ ;
57 extern bool fileloc_sameFile (fileloc p_f1, fileloc p_f2) /*@*/ ;
62 extern bool fileloc_equal (fileloc p_f1, fileloc p_f2) /*@*/ ;
63 extern bool fileloc_lessthan (fileloc p_f1, fileloc p_f2) /*@*/ ;
64 extern int fileloc_compare (fileloc p_f1, fileloc p_f2) /*@*/ ;
69 extern fileloc fileloc_copy (fileloc p_f) /*@*/ ;
71 extern bool fileloc_notAfter (fileloc p_f1, fileloc p_f2) /*@*/ ;
73 extern fileloc fileloc_noColumn (fileloc p_f) /*@*/ ;
[all …]
|
| H A D | constraint.h | 51 /*@observer@*/ exprNode p_t2, fileloc p_sequencePoint);
58 extern bool fileloc_closer (/*@observer@*/ fileloc p_loc1,
59 /*@observer@*/ fileloc p_loc2,
60 /*@observer@*/ fileloc p_loc3) /*@*/;
64 extern /*@only@*/ fileloc constraint_getFileloc (constraint p_c);
77 …xSetSideEffectPostIncrement (/*@dependent@*/ /*@observer@*/ exprNode p_e, fileloc p_sequencePoint);
92 …int_printError (/*@observer@*/ /*@temp@*/ constraint p_c, /*@temp@*/ /*@observer@*/ fileloc p_loc);
103 …xSetSideEffectPostDecrement (/*@dependent@*/ /*@observer@*/ exprNode p_e, fileloc p_sequencePoint);
114 …Node p_e, bool p_definatelv, bool p_definaterv, /*@temp@*/ /*@observer@*/ fileloc p_sequencePoint);
124 extern void constraint_printErrorPostCondition (constraint p_c, fileloc p_loc) ;
[all …]
|
| H A D | llerror.h | 105 fileloc p_fl)
258 /*@only@*/ cstring p_s, fileloc p_fl)
263 /*@only@*/ cstring p_s, fileloc p_fl)
272 fileloc p_fl)
278 fileloc p_fl)
288 /*@sef@*/ fileloc p_loc)
305 /*@sef@*/ fileloc p_loc)
316 /*@sef@*/ fileloc p_loc)
332 /*@sef@*/ fileloc p_loc)
356 /*@sef@*/ fileloc p_loc);
[all …]
|
| H A D | sRef.h | 145 extern void sRef_setNullUnknown (sRef p_s, fileloc p_loc);
146 extern void sRef_setNotNull (sRef p_s, fileloc p_loc);
149 extern void sRef_setPosNull (sRef p_s, fileloc p_loc);
150 extern void sRef_setDefNull (sRef p_s, fileloc p_loc);
239 extern void sRef_clearExKindComplete (sRef p_s, fileloc p_loc);
299 extern void sRef_setDefinedComplete (sRef p_s, fileloc p_loc) ;
580 extern void sRef_clearAliasState (sRef p_s, fileloc p_loc)
582 extern void sRef_setPartial (sRef p_s, fileloc p_loc)
696 sRef_aliasSetComplete (void (p_predf) (sRef, fileloc), sRef p_s, fileloc p_loc)
701 int p_kind, fileloc p_loc)
[all …]
|
| H A D | uentry.h | 140 fileloc whereSpecified;
141 fileloc whereDefined;
142 fileloc whereDeclared;
270 extern void uentry_setUsed (uentry p_e, fileloc p_loc);
360 /*@temp@*/ fileloc p_f)
377 /*@keep@*/ fileloc p_f);
383 /*@only@*/ sRefSet p_mods, /*@keep@*/ fileloc p_f);
398 /*@only@*/ sRefSet p_mods, /*@keep@*/ fileloc p_f);
421 /*@only@*/ fileloc p_f) /*@*/ ;
446 /*@only@*/ fileloc p_f);
[all …]
|
| H A D | flagMarker.h | 33 fileloc loc;
52 flagMarker_createLocalSet (flagcode p_code, ynm p_set, fileloc p_loc) /*@*/ ;
55 flagMarker_createIgnoreOn (fileloc p_loc) /*@*/ ;
58 flagMarker_createIgnoreOff (fileloc p_loc) /*@*/ ;
61 flagMarker_createIgnoreCount (int p_count, fileloc p_loc) /*@*/ ;
64 flagMarker_createSuppress (flagcode p_code, fileloc p_loc) /*@*/ ;
68 extern bool flagMarker_sameFile (flagMarker p_c, fileloc p_loc) /*@*/ ;
71 extern bool flagMarker_beforeMarker (flagMarker p_c, fileloc p_loc) /*@*/ ;
79 extern /*@observer@*/ fileloc flagMarker_getLoc (flagMarker p_f) /*@*/ ;
|
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | fileloc.c | 82 fileloc
98 fileloc
128 fileloc fileloc_copy (fileloc f) in fileloc_copy()
152 fileloc fileloc_update (/*@only@*/ fileloc old, fileloc fnew) in fileloc_update()
240 fileloc_equal (fileloc f1, fileloc f2) in fileloc_equal()
249 fileloc_compare (fileloc f1, fileloc f2) in fileloc_compare()
286 fileloc_lessthan (fileloc f1, fileloc f2) in fileloc_lessthan()
304 fileloc_notAfter (fileloc f1, fileloc f2) in fileloc_notAfter()
337 fileloc_sameFile (fileloc f1, fileloc f2) in fileloc_sameFile()
351 fileloc_sameModule (fileloc f1, fileloc f2) in fileloc_sameModule()
[all …]
|
| /dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ |
| H A D | gengtype.h | 23 struct fileloc { struct
56 struct fileloc line;
77 struct fileloc line;
91 struct fileloc line;
110 extern struct fileloc lexer_line;
114 (struct fileloc *pos, const char *msg, ...) ATTRIBUTE_PRINTF_2;
124 extern void do_typedef (const char *s, type_p t, struct fileloc *pos);
125 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
127 struct fileloc *pos, pair_p fields,
135 struct fileloc *pos);
[all …]
|
| /dports/devel/tigcc/tigcc-0.96.b8_10/gnu/gcc-4.1-20060728/gcc/ |
| H A D | gengtype.h | 23 struct fileloc { struct
63 struct fileloc line;
87 struct fileloc line;
101 struct fileloc line;
120 extern struct fileloc lexer_line;
124 (struct fileloc *pos, const char *msg, ...) ATTRIBUTE_PRINTF_2;
134 extern void do_typedef (const char *s, type_p t, struct fileloc *pos);
135 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
137 struct fileloc *pos, pair_p fields,
146 struct fileloc *pos);
[all …]
|
| /dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ |
| H A D | gengtype.h | 23 struct fileloc { struct
56 struct fileloc line;
77 struct fileloc line;
91 struct fileloc line;
110 extern struct fileloc lexer_line;
114 (struct fileloc *pos, const char *msg, ...) ATTRIBUTE_PRINTF_2;
124 extern void do_typedef (const char *s, type_p t, struct fileloc *pos);
125 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
127 struct fileloc *pos, pair_p fields,
135 struct fileloc *pos);
[all …]
|
| /dports/finance/beancount/beancount-2.3.3/experiments/visualizations/ |
| H A D | real_account_reordering.py | 24 fileloc = reorder_accounts_node_by_declaration(child_account)
25 children.append((fileloc, child_account))
31 for fileloc, child in children:
32 print(' {:64} {}'.format(child.name, fileloc))
36 fileloc = real_account.postings[0].fileloc
38 fileloc = children[0][0]
39 return fileloc
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
212 struct fileloc line; /* The file location. */
283 struct fileloc line; /* the source location. */
311 struct fileloc line; /* The source location. */
349 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
426 struct fileloc *pos, pair_p fields,
428 type_p create_user_defined_type (const char *, struct fileloc *);
435 struct fileloc *pos);
[all …]
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
212 struct fileloc line; /* The file location. */
283 struct fileloc line; /* the source location. */
311 struct fileloc line; /* The source location. */
349 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
426 struct fileloc *pos, pair_p fields,
428 type_p create_user_defined_type (const char *, struct fileloc *);
435 struct fileloc *pos);
[all …]
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
212 struct fileloc line; /* The file location. */
283 struct fileloc line; /* the source location. */
322 struct fileloc line; /* The source location. */
360 static inline struct fileloc*
434 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
438 struct fileloc *pos, pair_p fields,
440 type_p create_user_defined_type (const char *, struct fileloc *);
447 struct fileloc *pos);
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ |
| H A D | gengtype.h | 47 struct fileloc struct
121 extern struct fileloc lexer_line;
214 struct fileloc line; /* The file location. */
281 struct fileloc line; /* the source location. */
354 static inline struct fileloc*
423 extern void do_scalar_typedef (const char *s, struct fileloc *pos);
424 extern type_p resolve_typedef (const char *s, struct fileloc *pos);
427 struct fileloc *pos, pair_p fields,
429 type_p create_user_defined_type (const char *, struct fileloc *);
436 struct fileloc *pos);
[all …]
|