On the Effectiveness of nonnull: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
I add [https://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html annotations] to my [[C]] programs pretty religiously, making most frequent use of: | I add [https://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html annotations] to my [[C]] programs pretty religiously, making most frequent use of: | ||
* <tt>const</tt> and <tt>pure</tt> -- facilitate | * <tt>const</tt> and <tt>pure</tt> -- facilitate hoisting and memoization | ||
* <tt>malloc</tt> -- helps aliasing analysis and warning generation | * <tt>malloc</tt> -- helps aliasing analysis and warning generation | ||
* <tt>warn_unused_result</tt> -- warning generation | * <tt>warn_unused_result</tt> -- warning generation | ||