Couldn't `function(arg[static 3])` imply nonnull and array size in C?

Hi, using GCC 5.1 found that using static can be used to define a variable as having at least N elements in the array, and that its not NULL. See: http://www-01.ibm.com/support/knowledgecenter/SSLTBW_1.12.0/com.ibm.zos.r12.cbclx01/param_decl.htm%23param_decl__static_array_index Given the simple

gcc - setting the uninitialized state (tainting variables)

Hi, I was looking into the possibility of setting a variable as uninitialized again (after its been initialized at least once already). This could be handy for track simple errors when a variables been used after its value is logically invalid (where its initialized but the developer decides the v