Meaning
Cannot assign through a non-pointer dereference.
Compiler layer
Pointer safety
← Error ExplorerVERIFIED
DIAGNOSTIC · POINTER SAFETY
E212 Cannot assign through a non-pointer dereference
The diagnostic rejects an invalid write through a value that is not a writable pointer.
Evidence
tests/integration/Pointer_Not_Safety_E212.avs
Evidence reference from the reviewed project corpus. A reference indicates a related exercised scenario; it does not imply complete coverage of the diagnostic family.
Related documentation
Open language › memory documentation →Related diagnostics
Related evidence
TRACEABILITY
Related Evidence
These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.
tests/integration/Pointer_Not_Safety_E212.avs